Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science (4600), Band 4600)
von
Hubert Comon-Lundh
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-73146-7
ISBN-10: 3-540-73146-6
Springer
· 2007
