default search action

combined dblp search
author search
venue search
publication search

ask others

Term Rewriting 1993

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops

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/ac/1993tr
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/1993tr
Hubert Comon, Jean-Pierre Jouannaud:
Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course. Lecture Notes in Computer Science 909, Springer 1995, ISBN 3-540-59340-3
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Jouannaud93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Jouannaud93
Jean-Pierre Jouannaud:
Introduction to Rewriting. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Dershowitz93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Dershowitz93
Nachum Dershowitz:
Examples of Termination. 16-26
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Lallement93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Lallement93
Gerard Lallement:
The Word Problem for Thue Rewriting Systems. 27-38
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Matiyasevich93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Matiyasevich93
Yuri V. Matiyasevich:
Word Problem for Thue Systems with a Few Relations. 39-53
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Kirchner93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Kirchner93
Hélène Kirchner:
Some Extensions of Rewriting. 54-73
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Courcelle93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Courcelle93
Bruno Courcelle:
Graph Rewriting: A Bibliographical Guide. 74
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Senizergues93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Senizergues93
Géraud Sénizergues:
Formal Languages and Word-Rewriting. 75-94
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Dauchet93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Dauchet93
Max Dauchet:
Rewriting and Tree Automata. 95-113
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BertolD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BertolD93
Michael Bertol, Volker Diekert:
On Efficient Reduction Algorithms for Some Trace Rewriting Systems. 114-126
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Gilman93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Gilman93
Robert H. Gilman:
Automatic Groups and String Rewriting. 127-134
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Chenadec93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Chenadec93
Philippe le Chenadec:
A Survey of Symmetrized and Complete Group Presentations. 135-153
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Marche93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Marche93
Claude Marché:
Normalized Rewriting - Application to Ground Completion and Standard Bases. 154-169
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Lafont93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Lafont93
Yves Lafont:
Equational Reasoning with Two-Dimensional Diagrams. 170-195
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BalbianiC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BalbianiC93
Philippe Balbiani, Luis Fariñas del Cerro:
Affine Geometry of Collinearity and Conditional Term Rewriting. 196-213
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Rey93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Rey93
Jean-François Rey:
Burnside Monoids, Word Problem and the Conjecture of Brzozowski. 214-221

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.