Claude Kirchner

Identifiers

Open LibraryOL3365265A

Top Subjects

Mathematics (1)
Mathematical theory of computation (1)
Algebra (1)
Computer Books: General (1)
Algebra - General (1)

Books by Claude Kirchner

Total count: 4

Unification

Academic Press1991-01-01
Rewriting, Computation and ProofEssays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer London, Limited2007-01-01
Formal to Practical SecurityPapers Issued from the 2005-2008 French-Japanese Collaboration

Springer London, Limited2009-01-01
Automata, Languages and Programming37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Springer London, Limited2010-01-01