Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewrit...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hutchison, David, Kanade, Takeo, Kittler, Josef
Format:	Buch
Sprache:	eng
Schlagworte:	Computational complexity Computer Science Congresses Jouannaud, Jean-Pierre Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Rewriting systems (Computer science) Rewriting systems (Computer science)-Congresses Software Engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!