Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540543176, 9783540475583
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Parallel graph rewriting on loosely coupled machine architectures

1991 ◽  
pp. 354-369 ◽  
Author(s):  
M. C. J. D. Fekelen ◽  
M. J. Plasmeijer ◽  
J. E. W. Smetsers
Keyword(s):  
Graph Rewriting ◽  
Loosely Coupled ◽  
Parallel Graph

Meta-rule synthesis from crossed rewrite systems

1991 ◽  
pp. 143-154 ◽  
Author(s):  
Hélène Kirchner ◽  
Miki Hermann
Keyword(s):  
Rewrite Systems

On sufficient completeness of conditional specifications

1991 ◽  
pp. 272-286 ◽  
Author(s):  
Wadoud Bousdira ◽  
Jean-Luc Rémy

Conditional rewriting in focus

1991 ◽  
pp. 1-13 ◽  
Author(s):  
Francois Bronsard ◽  
Uday S. Reddy

Linear completion

1991 ◽  
pp. 233-245 ◽  
Author(s):  
Hervé Devie

Completion procedures as semidecision procedures

1991 ◽  
pp. 206-232 ◽  
Author(s):  
Maria Paola Bonacina ◽  
Jieh Hsiang

Infinite terms and infinite rewritings

1991 ◽  
pp. 115-126 ◽  
Author(s):  
Yiyun Chen ◽  
Michael J. O'Donnell

A proof system for conditional algebraic specifications

1991 ◽  
pp. 51-63 ◽  
Author(s):  
Emmanuel Kounalis ◽  
Michaël Rusinowitch
Keyword(s):  
Proof System ◽  
Algebraic Specifications
Load More ...
Sign in / Sign up

Export Citation Format

Share Document