MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Bi-Rewrite Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Bi-rewrite Systems
by Jordi Levy, Jaume Agusti, Departament Llenguatges — 1996
…Bi-rewrite Systems Jordi Levy z and Jaume Agust'i x z Departament de Llenguatges i Sistemes…
Cited by 30 (10 self) – Add To MetaCart

A Higher-Order Unification Algorithm for Bi-rewriting Systems
by Jordi Levy — 1993
…A Higher-Order Unification Algorithm for Bi-rewriting Systems Jordi Levy Institut d…
Add To MetaCart

Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems
by Jordi Levy, Jaume Agusti — 1992 — In (H. Ehrig and F. Orejas, Ed.) Recent Trends in Data Type Specification, Lecture Notes in Computer Science
…Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems ? Jordi Levy…
Cited by 1 (0 self) – Add To MetaCart

Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations
by Jordi Levy, Jaume Agusti — 1993 — Rewriting Techniques and Applications, LNCS 690
…! c. Each component of the bi-rewriting system h ` \Gamma!; ' \Gamma!i is allowed to be a subset…
Cited by 23 (7 self) – Add To MetaCart

The Calculus of Refinements, a Formal Specification Model Based on Inclusions
by Jordi Levy, Foreword Jaume Agust'i, Consell Superior D'investigacions Cient'ifiques, Jordi Levy D'iaz, Jordi Levy D'iaz — 1994
… and Bi-rewriting Systems : : : : : : : : : : : : : : : : 61 4.3 Bi-rewriting Modulo a Set of Inclusions…
Cited by 10 (1 self) – Add To MetaCart

Volume 1632 of
by Lecture Notes In, Npr Joachim Niehren, Manfred Pinkal, Peter Ruhrberg On Equality
…-order unication problem. Theoretical Computer Science, 13:225-230, 1981. [LA96] Jordi Levy and Jaume Agust. Bi-rewriting…
Add To MetaCart

Theorem Proving with Transitive Relations from a Practical Point of View
by W. Marco Schorlemmer, Jaume Agusti — 1995 — Research Report IIIA 95/12, Institut d'Investigaci'o en Intel\Deltalig`encia Artificial (CSIC
… with non-symmetric relations, the so called bi-rewriting systems of Levy and Agust'i [LA93]. Further work…
Cited by 4 (4 self) – Add To MetaCart

Inclusional Theories in Declarative Programming
by W. Marco Schorlemmer, Jaume Agusti — 1996 — In Joint Conference on Declarative Programming APPIA-GULP-PRODE
… systems based on equational theories, by introducing the so called bi-rewriting systems. In the same…
Cited by 2 (2 self) – Add To MetaCart

Towards Specifying with Inclusions
by Jaume Agusti, Jordi Puigsegur, J. Puigsegur, W. Marco Schorlemmer, W. M. Schorlemmer — 1997
… theories, by introducing the so called bi-rewrite systems [15]. In the same sense in that the theory…
Cited by 6 (3 self) – Add To MetaCart

Mathware Software Computing 4 1997 180203
by Towards Specifying With, J. Agust, J. Puigsegur, W. M. Schorlemmer
… theories, by introducing the so called bi-rewrite systems [15]. In the same sense in that the theory…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB