Tag: Hubert Comon-Lundh

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600) 2007th Edition...

February 20, 2023

Ebook Info Published: 2007 Number of pages: 292 pages Format: PDF File Size: 3.45 MB Authors: Hubert...

Read more

Advertisement

spot_img