Friedrich Neurauter

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Preserving Regularity via Logic Programs: Proving Regularity Preservation of Term Rewrite Systems with Logic Programming Techniques978-3-639-OO838-8
(3-639-OO838-3)
2008

Friedrich Nicolai