Dowek00'

BibTeX

@inproceedings{DBLP:conf/frocos/Dowek00,
  author    = {Gilles Dowek},
  title     = {Axioms vs. Rewrite Rules: From Completeness to Cut Elimination},
  booktitle = {FroCos},
  year      = {2000},
  pages     = {62-72},
  crossref  = {DBLP:conf/frocos/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/frocos/2000,
  editor    = {H{\'e}l{\`e}ne Kirchner and
               Christophe Ringeissen},
  title     = {Frontiers of Combining Systems, Third International Workshop,
               FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings},
  booktitle = {FroCoS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1794},
  year      = {2000},
  isbn      = {3-540-67281-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}