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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540543176, 9783540475583

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallel graph rewriting on loosely coupled machine architectures

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_104 ◽

1991 ◽

pp. 354-369 ◽

Cited By ~ 2

Author(s):

M. C. J. D. Fekelen ◽

M. J. Plasmeijer ◽

J. E. W. Smetsers

Keyword(s):

Graph Rewriting ◽

Loosely Coupled ◽

Parallel Graph

Download Full-text

Meta-rule synthesis from crossed rewrite systems

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_87 ◽

1991 ◽

pp. 143-154 ◽

Cited By ~ 3

Author(s):

Hélène Kirchner ◽

Miki Hermann

Keyword(s):

Rewrite Systems

Download Full-text

On sufficient completeness of conditional specifications

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_97 ◽

1991 ◽

pp. 272-286 ◽

Cited By ~ 1

Author(s):

Wadoud Bousdira ◽

Jean-Luc Rémy

Download Full-text

A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_86 ◽

1991 ◽

pp. 137-142

Author(s):

Bernard R. Hodgson ◽

Clement F. Kent

Keyword(s):

Rewriting Systems

Download Full-text

Conditional rewriting in focus

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_77 ◽

1991 ◽

pp. 1-13 ◽

Cited By ~ 3

Author(s):

Francois Bronsard ◽

Uday S. Reddy

Download Full-text

Confluence of the disjoint union of conditional term rewriting systems

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_99 ◽

1991 ◽

pp. 295-306 ◽

Cited By ~ 2

Author(s):

Aart Middeldorp

Keyword(s):

Disjoint Union ◽

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Linear completion

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_94 ◽

1991 ◽

pp. 233-245 ◽

Cited By ~ 1

Author(s):

Hervé Devie

Download Full-text

Completion procedures as semidecision procedures

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_92 ◽

1991 ◽

pp. 206-232 ◽

Cited By ~ 3

Author(s):

Maria Paola Bonacina ◽

Jieh Hsiang

Download Full-text

Infinite terms and infinite rewritings

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_84 ◽

1991 ◽

pp. 115-126 ◽

Cited By ~ 1

Author(s):

Yiyun Chen ◽

Michael J. O'Donnell

Download Full-text

A proof system for conditional algebraic specifications

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_80 ◽

1991 ◽

pp. 51-63 ◽

Cited By ~ 1

Author(s):

Emmanuel Kounalis ◽

Michaël Rusinowitch

Keyword(s):

Proof System ◽

Algebraic Specifications

Download Full-text

Conditional and Typed Rewriting Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Parallel graph rewriting on loosely coupled machine architectures

Meta-rule synthesis from crossed rewrite systems

On sufficient completeness of conditional specifications

A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems

Conditional rewriting in focus

Confluence of the disjoint union of conditional term rewriting systems

Linear completion

Completion procedures as semidecision procedures

Infinite terms and infinite rewritings

A proof system for conditional algebraic specifications

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