Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
a service of 
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.
retrieved on 2024-06-17 22:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
