Rewriting, Computation and Proof

Keyphrases

Publications

2007

Claude Marché
Towards Modular Algebraic Specifications for Pointer Programs: A Case Study. Rewriting, Computation and Proof (2007)
Isabelle Gnaedig, Hélène Kirchner
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. Rewriting, Computation and Proof (2007)
Cristina Borralleras, Albert Rubio
Orderings and Constraints: Theory and Practice of Proving Termination. Rewriting, Computation and Proof (2007)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Deducibility Constraints, Equational Theory and Electronic Money. Rewriting, Computation and Proof (2007)
Paul Brauner, Clément Houtmann, Claude Kirchner
Superdeduction at Work. Rewriting, Computation and Proof (2007)
Evelyne Contejean
Modeling Permutations in Coqfor Coccinelle. Rewriting, Computation and Proof (2007)
Abdessamad Imine, Michaël Rusinowitch
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. Rewriting, Computation and Proof (2007)
Frédéric Blanqui
Computability Closure: Ten Years Later. Rewriting, Computation and Proof (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursive Functions. Rewriting, Computation and Proof (2007)
Nachum Dershowitz, Georg Moser
The Hydra Battle Revisited. Rewriting, Computation and Proof (2007)
Mitsuhiro Okada, Ryo Takemura
-Calculus. Rewriting, Computation and Proof (2007)
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
Towards Rewriting in Coq. Rewriting, Computation and Proof (2007)
Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
Reduction Strategies and Acyclicity. Rewriting, Computation and Proof (2007)

volume 4600, 2007

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