Rewriting Techniques and Applications View on Open Library

Rewriting Techniques and Applications

by Jean-Pierre Jouannaud

No reviews yet
First published: 1985 1 language ISBN: 0387159762
Subjects
Réécriture Algebraïsche logica Algorithme Informatique théorique Logiciel Congrès Computer programming Termersetzungssystem Démonstration théorème Bewijstheorie

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jean-Pierre Jouannaud

Functional Programming Languages and Computer Architecture

Functional Programming Languages and Com...

Algebra, meaning, and computation

Algebra, meaning, and computation

Term rewriting

Term rewriting

Conditional Term Rewriting Systems

Conditional Term Rewriting Systems

Certified Programs and Proofs

Certified Programs and Proofs

Conditional term rewriting systems

Conditional term rewriting systems

You Might Also Like

More in Réécriture
CafeOBJ report

CafeOBJ report

Razvan Diaconescu
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)
Translating relationalqueries into iterative programs

Translating relationalqueries into itera...

Johann Christoph Freytag
Foundations of software technology and theoretical computer science

Foundations of software technology and t...

V. Vinay
Automata, languages and programming

Automata, languages and programming

Pierpaolo Degano