Filters
Advanced Search Browse by Genre

Found 16 results for "Jean-Pierre Jouannaud"

Rewriting Techniques and Applications
Rewriting Techniques and Applications

by Jean-Pierre Jouannaud

1985 3 ed.
Réécriture Algebraïsche logica Algorithme
Functional Programming Languages and Computer Architecture
Functional Programming Languages and Computer Architecture

by Jean-Pierre Jouannaud

1986 2 ed.
Congresses Functional programming la... Computer architecture
Conditional Term Rewriting Systems
Conditional Term Rewriting Systems

by Jean-Pierre Jouannaud

2007 1 ed.
Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples
Sur l'inférence et la synthèse automatiques de fonctions LIS...

by Jean Pierre Jouannaud

1977 1 ed.
Conditional term rewriting systems
Conditional term rewriting systems

by Jean-Pierre Jouannaud

1988 1 ed.
Rewriting systems (Comput... Congresses Machine theory
Functional programming languages and computer architecture
Functional programming languages and computer architecture

by Jean-Pierre Jouannaud

1985 1 ed.
Congresses Functional programming la... Computer architecture
Rewriting, Computation and Proof
Rewriting, Computation and Proof

by Hubert Comon-Lundh, Claude Kirchner

2007 1 ed.
Rewriting, Computation and Proof
Rewriting, Computation and Proof

by Hubert Comon

2007 1 ed.
Logic design Computer science Software engineering
Certified Programs and Proofs
Certified Programs and Proofs

by Jean-Pierre Jouannaud, Zhong Shao

2011 1 ed.
Algebra, meaning, and computation
Algebra, meaning, and computation

by Joseph Goguen, Kokichi Futatsugi

2006 2 ed.
Congresses Data processing Algebra
Term rewriting
Term rewriting

by French Spring School of Theoretical Computer Science (1993 Font-Romeu, France), Hubert Comon

Let T be the set of all terms over some vocabulary.

1995 2 ed.
Congresses Rewriting systems (Comput... Computer science
Constraints in computational logics
Constraints in computational logics

by Jean-Pierre Jounnaud

The paramodulation inference system is an extension of the resolution inference system to deal with theorem proving in f...

1994 2 ed.
Computer programming Congresses Symbolic and mathematical...
Rewriting Techniques and Applications
Rewriting Techniques and Applications
1987 1 ed.
TAPSOFT '93
TAPSOFT '93

by International Joint Conference on Theory and Practice of Software Development (4th 1993 Orsay, France)

1993 2 ed.
Computer software Congresses Development
Constraints in computational logics
Constraints in computational logics

by International Conference, CCL '94 (1st 1994 Munich, Germany)

1994 1 ed.
Congresses Electronic digital comput... Logic, Symbolic and mathe...
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993
Term Rewriting: French Spring School of Theoretical Computer...

by Hubert Comon

1995 1 ed.
Rewriting systems (Comput... Congresses Computer science