Preserving Regularity via Logic Programs: Proving Regularity Preservation of Term Rewrite Systems with Logic Programming Techniques

Programming

von Friedrich Neurauter

Taschenbuch

ISBN-13: 978-3-639-00838-8

ISBN-10: 3-639-00838-3

VDM Verlag · 2008