Conditional term rewriting systems

View on Open Library

Conditional term rewriting systems

by Jean-Pierre Jouannaud

No reviews yet

First published: 1988 1 language ISBN: 0387192425

Subjects

Rewriting systems (Computer science) Congresses Machine theory Systèmes de réécriture (Informatique) Théorie des automates Congrès

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jean-Pierre Jouannaud

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Functional Programming Languages and Computer Architecture

Functional Programming Languages and Com...

Algebra, meaning, and computation

Algebra, meaning, and computation

Term rewriting

Conditional Term Rewriting Systems

Conditional Term Rewriting Systems

Certified Programs and Proofs

Certified Programs and Proofs

You Might Also Like

More in Rewriting systems (C...

Higher-order algebra, logic, and term rewriting

Higher-order algebra, logic, and term re...

Jan Heering

Applications of Graph Transformations with Industrial Relevance

Applications of Graph Transformations wi...

Andy Schürr

Applications of graph transformations with industrial relevance

Applications of graph transformations wi...

AGTIVE 2007 (2007 Kassel, Germany)

Applications of graph transformations with industrial relevance

Applications of graph transformations wi...

Manfred Nagl

Rewriting techniques and applications

Rewriting techniques and applications

International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Jean-Pierre Jouannaud