Lanzamientos por Friedrich Neurauter

Cover for Friedrich Neurauter · Preserving Regularity Via Logic Programs: Proving Regularity Preservation of Term Rewrite Systems with Logic Programming Techniques (Paperback Book) (2008)
Paperback Book
Preserving Regularity Via Logic ...
Friedrich Neurauter