default search action

combined dblp search
author search
venue search
publication search

ask others

60. Birthday: Jean-Pierre Jouannaud, 2007

> Home > Conferences and Workshops > Birthday

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2007jouannaud
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2007jouannaud
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner:
Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 4600, Springer 2007, ISBN 978-3-540-73146-7

Rewriting Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DershowitzM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DershowitzM07
Nachum Dershowitz, Georg Moser:
The Hydra Battle Revisited. 1-27
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BorrallerasR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BorrallerasR07
Cristina Borralleras, Albert Rubio:
Orderings and Constraints: Theory and Practice of Proving Termination. 28-43
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GnaedigK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GnaedigK07
Isabelle Gnaedig, Hélène Kirchner:
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. 44-67
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Blanqui07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Blanqui07
Frédéric Blanqui:
Computability Closure: Ten Years Later. 68-88
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KlopOR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KlopOR07
Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk:
Reduction Strategies and Acyclicity. 89-112

Proof and Computation

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ChrzaszczW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ChrzaszczW07
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz:
Towards Rewriting in Coq. 113-131
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BraunerHK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BraunerHK07
Paul Brauner, Clément Houtmann, Claude Kirchner:
Superdeduction at Work. 132-166
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/OkadaT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/OkadaT07
Mitsuhiro Okada, Ryo Takemura:
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. 167-181
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AlvesFFM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AlvesFFM07
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linear Recursive Functions. 182-195

Towards Safety and Security

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BursucCD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BursucCD07
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune:
Deducibility Constraints, Equational Theory and Electronic Money. 196-212
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ImineR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ImineR07
Abdessamad Imine, Michaël Rusinowitch:
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. 213-234
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Marche07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Marche07
Claude Marché:
Towards Modular Algebraic Specifications for Pointer Programs: A Case Study. 235-258
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Contejean07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Contejean07
Evelyne Contejean:
Modeling Permutations in Coqfor Coccinelle. 259-269

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.