Search dblp for Publications

export results for "toc:db/conf/birthday/jouannaud2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/AlvesFFM07,
  author       = {Sandra Alves and
                  Maribel Fern{\'{a}}ndez and
                  M{\'{a}}rio Florido and
                  Ian Mackie},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Linear Recursive Functions},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {182--195},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_9},
  doi          = {10.1007/978-3-540-73147-4\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AlvesFFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Blanqui07,
  author       = {Fr{\'{e}}d{\'{e}}ric Blanqui},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Computability Closure: Ten Years Later},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {68--88},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_4},
  doi          = {10.1007/978-3-540-73147-4\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Blanqui07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BorrallerasR07,
  author       = {Cristina Borralleras and
                  Albert Rubio},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Orderings and Constraints: Theory and Practice of Proving Termination},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {28--43},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_2},
  doi          = {10.1007/978-3-540-73147-4\_2},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BorrallerasR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BraunerHK07,
  author       = {Paul Brauner and
                  Cl{\'{e}}ment Houtmann and
                  Claude Kirchner},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Superdeduction at Work},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {132--166},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_7},
  doi          = {10.1007/978-3-540-73147-4\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BraunerHK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BursucCD07,
  author       = {Sergiu Bursuc and
                  Hubert Comon{-}Lundh and
                  St{\'{e}}phanie Delaune},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Deducibility Constraints, Equational Theory and Electronic Money},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {196--212},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_10},
  doi          = {10.1007/978-3-540-73147-4\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BursucCD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ChrzaszczW07,
  author       = {Jacek Chrzaszcz and
                  Daria Walukiewicz{-}Chrzaszcz},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Towards Rewriting in Coq},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {113--131},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_6},
  doi          = {10.1007/978-3-540-73147-4\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ChrzaszczW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Contejean07,
  author       = {Evelyne Contejean},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Modeling Permutations in Coqfor Coccinelle},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {259--269},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_13},
  doi          = {10.1007/978-3-540-73147-4\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Contejean07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DershowitzM07,
  author       = {Nachum Dershowitz and
                  Georg Moser},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {The Hydra Battle Revisited},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_1},
  doi          = {10.1007/978-3-540-73147-4\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DershowitzM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GnaedigK07,
  author       = {Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Narrowing, Abstraction and Constraints for Proving Properties of Reduction
                  Relations},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {44--67},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_3},
  doi          = {10.1007/978-3-540-73147-4\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GnaedigK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ImineR07,
  author       = {Abdessamad Imine and
                  Micha{\"{e}}l Rusinowitch},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Applying a Theorem Prover to the Verification of Optimistic Replication
                  Algorithms},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {213--234},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_11},
  doi          = {10.1007/978-3-540-73147-4\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ImineR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KlopOR07,
  author       = {Jan Willem Klop and
                  Vincent van Oostrom and
                  Femke van Raamsdonk},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Reduction Strategies and Acyclicity},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {89--112},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_5},
  doi          = {10.1007/978-3-540-73147-4\_5},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KlopOR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Marche07,
  author       = {Claude March{\'{e}}},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Towards Modular Algebraic Specifications for Pointer Programs: {A}
                  Case Study},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {235--258},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_12},
  doi          = {10.1007/978-3-540-73147-4\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Marche07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/OkadaT07,
  author       = {Mitsuhiro Okada and
                  Ryo Takemura},
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Remarks on Semantic Completeness for Proof-Terms with Laird's Dual
                  Affine/Intuitionistic \emph{lambda} -Calculus},
  booktitle    = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4\_8},
  doi          = {10.1007/978-3-540-73147-4\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/OkadaT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2007jouannaud,
  editor       = {Hubert Comon{-}Lundh and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
                  Jouannaud on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4600},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73147-4},
  doi          = {10.1007/978-3-540-73147-4},
  isbn         = {978-3-540-73146-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2007jouannaud.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.