Search dblp for Publications

export results for "toc:db/conf/ac/tr1993.bht:"

 download as .bib file

@proceedings{DBLP:conf/ac/1993tr,
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59340-3},
  doi          = {10.1007/3-540-59340-3},
  isbn         = {3-540-59340-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/1993tr.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/BalbianiC93,
  author       = {Philippe Balbiani and
                  Luis Fari{\~{n}}as del Cerro},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Affine Geometry of Collinearity and Conditional Term Rewriting},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {196--213},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_14},
  doi          = {10.1007/3-540-59340-3\_14},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/BalbianiC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/BertolD93,
  author       = {Michael Bertol and
                  Volker Diekert},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {On Efficient Reduction Algorithms for Some Trace Rewriting Systems},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {114--126},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_9},
  doi          = {10.1007/3-540-59340-3\_9},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/BertolD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Chenadec93,
  author       = {Philippe le Chenadec},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {A Survey of Symmetrized and Complete Group Presentations},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {135--153},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_11},
  doi          = {10.1007/3-540-59340-3\_11},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Chenadec93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Courcelle93,
  author       = {Bruno Courcelle},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Graph Rewriting: {A} Bibliographical Guide},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {74},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_6},
  doi          = {10.1007/3-540-59340-3\_6},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Courcelle93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Dauchet93,
  author       = {Max Dauchet},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Rewriting and Tree Automata},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {95--113},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_8},
  doi          = {10.1007/3-540-59340-3\_8},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Dauchet93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Dershowitz93,
  author       = {Nachum Dershowitz},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Examples of Termination},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {16--26},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_2},
  doi          = {10.1007/3-540-59340-3\_2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Dershowitz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Gilman93,
  author       = {Robert H. Gilman},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Automatic Groups and String Rewriting},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {127--134},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_10},
  doi          = {10.1007/3-540-59340-3\_10},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Gilman93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Jouannaud93,
  author       = {Jean{-}Pierre Jouannaud},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Introduction to Rewriting},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_1},
  doi          = {10.1007/3-540-59340-3\_1},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Jouannaud93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Kirchner93,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Some Extensions of Rewriting},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {54--73},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_5},
  doi          = {10.1007/3-540-59340-3\_5},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Kirchner93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Lafont93,
  author       = {Yves Lafont},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Equational Reasoning with Two-Dimensional Diagrams},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {170--195},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_13},
  doi          = {10.1007/3-540-59340-3\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Lafont93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Lallement93,
  author       = {Gerard Lallement},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {The Word Problem for Thue Rewriting Systems},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {27--38},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_3},
  doi          = {10.1007/3-540-59340-3\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Lallement93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Marche93,
  author       = {Claude March{\'{e}}},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Normalized Rewriting - Application to Ground Completion and Standard
                  Bases},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {154--169},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_12},
  doi          = {10.1007/3-540-59340-3\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Marche93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Matiyasevich93,
  author       = {Yuri V. Matiyasevich},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Word Problem for Thue Systems with a Few Relations},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {39--53},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_4},
  doi          = {10.1007/3-540-59340-3\_4},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Matiyasevich93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Rey93,
  author       = {Jean{-}Fran{\c{c}}ois Rey},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Burnside Monoids, Word Problem and the Conjecture of Brzozowski},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {214--221},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_15},
  doi          = {10.1007/3-540-59340-3\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Rey93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/Senizergues93,
  author       = {G{\'{e}}raud S{\'{e}}nizergues},
  editor       = {Hubert Comon and
                  Jean{-}Pierre Jouannaud},
  title        = {Formal Languages and Word-Rewriting},
  booktitle    = {Term Rewriting, French Spring School of Theoretical Computer Science,
                  Font Romeux, France, May 17-21, 1993, Advanced Course},
  series       = {Lecture Notes in Computer Science},
  volume       = {909},
  pages        = {75--94},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-59340-3\_7},
  doi          = {10.1007/3-540-59340-3\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Senizergues93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.