Rewriting Systems Computer Science

79 books
Term rewriting and all thatFranz Baader
⏱ 5h 1m

Term rewriting and all that

Franz Baader

1998301 pp.
Applications of graph transformations with industrial relevanceAGTIVE 2007 (2007 Kassel, Germany)
⏱ 9h 54m

Applications of graph transformations with industrial relevance

AGTIVE 2007 (2007 Kassel, Germany)

2008594 pp.
String-rewriting systemsRonald V. Book
⏱ 3h 9m

String-rewriting systems

Ronald V. Book

1993189 pp.
TermersetzungssystemeKlaus Drosten
⏱ 2h 32m

Termersetzungssysteme

Klaus Drosten

1989152 pp.
Term Rewriting and ApplicationsJürgen Giesl
⏱ 8h 37m

Term Rewriting and Applications

Jürgen Giesl

1899517 pp.
Conditional term rewriting systemsInternational Workshop on Conditional Term Rewriting Systems (3rd 1992 Pont-à-Mousson, France)
⏱ 8h 21m

Conditional term rewriting systems

International Workshop on Conditional Term Rewriting Systems (3rd 1992 Pont-à-Mousson, France)

1993501 pp.
Confluent string rewritingMatthias Jantzen

Confluent string rewriting

Matthias Jantzen

1988No page data
Confluent string rewritingMatthias Jantzen
⏱ 2h 6m

Confluent string rewriting

Matthias Jantzen

1988126 pp.
TermersetzungssystemeKlaus Drosten
⏱ 2h 32m

Termersetzungssysteme

Klaus Drosten

1989152 pp.
Analytical learning and term-rewriting systemsPhilip Laird

Analytical learning and term-rewriting systems

Philip Laird

1990No page data
Advanced Topics in Term RewritingEnno Ohlebusch
⏱ 7h 12m

Advanced Topics in Term Rewriting

Enno Ohlebusch

2002432 pp.
Conditional Term Rewriting Systems, 1st International WorkshopS. Kaplan
⏱ 4h 38m

Conditional Term Rewriting Systems, 1st International Workshop

S. Kaplan

1988278 pp.
Untersuchung von Strategien für den Knuth-Bendix-VervollständigungsalgorithmusChristoph Brzoska
⏱ 1h 5m

Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus

Christoph Brzoska

198865 pp.
Term rewriting systemsJ. W. Klop
⏱ 14h 44m

Term rewriting systems

J. W. Klop

2003884 pp.
Applications of graph transformations with industrial relevanceAGTIVE 2003 (2003 Charlottesville, Va.)
⏱ 8h 20m

Applications of graph transformations with industrial relevance

AGTIVE 2003 (2003 Charlottesville, Va.)

2004500 pp.
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993Hubert Comon
⏱ 3h 41m

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993

Hubert Comon

1995221 pp.
Rewriting Techniques and ApplicationsSophie Tison
⏱ 6h 27m

Rewriting Techniques and Applications

Sophie Tison

2002387 pp.
Term Rewriting and ApplicationsFrank Pfenning
⏱ 6h 55m

Term Rewriting and Applications

Frank Pfenning

2006415 pp.
Rewriting Techniques and ApplicationsRobert Nieuwenhuis
⏱ 8h 35m

Rewriting Techniques and Applications

Robert Nieuwenhuis

2003515 pp.
Rewriting Techniques and ApplicationsLeo Bachmair
⏱ 4h 33m

Rewriting Techniques and Applications

Leo Bachmair

2000273 pp.
Page 1 of 4Next →