Conditional Term Rewriting Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540563938, 9783540475491

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Completeness of combinations of conditional constructor systems

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_6 ◽

1993 ◽

pp. 82-96

Author(s):

Aart Middeldorp

Download Full-text

Set-of-support strategy for higher-order logic

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_40 ◽

1993 ◽

pp. 498-501

Author(s):

Wenchang Fang ◽

Jung-Hong Kao

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Support Strategy

Download Full-text

Completeness and confluence of order-sorted term rewriting

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_30 ◽

1993 ◽

pp. 393-407 ◽

Author(s):

Lars With

Keyword(s):

Download Full-text

Proving group isomorphism theorems

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_22 ◽

1993 ◽

pp. 302-306

Author(s):

Hantao Zhang

Keyword(s):

Group Isomorphism ◽

Isomorphism Theorems

Download Full-text

Inductive theorem proving by consistency for first-order clauses

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_17 ◽

1993 ◽

pp. 226-241 ◽

Author(s):

Harald Ganzinger ◽

Jürgen Stuber

Keyword(s):

Theorem Proving ◽

First Order ◽

Inductive Theorem Proving

Download Full-text

Reduction techniques for first-order reasoning

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_18 ◽

1993 ◽

pp. 242-256 ◽

Author(s):

Francois Bronsard ◽

Uday S. Reddy

Keyword(s):

First Order ◽

Reduction Techniques

Download Full-text

A strategy to deal with divergent rewrite systems

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_37 ◽

1993 ◽

pp. 458-467

Author(s):

Paola Inverardi ◽

Monica Nesi

Keyword(s):

Rewrite Systems

Download Full-text

Generalized partial computation using disunification to solve constraints

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_32 ◽

1993 ◽

pp. 424-428 ◽

Author(s):

Akihiko Takano

Download Full-text

Context rewriting

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_2 ◽

1993 ◽

pp. 21-35 ◽

Author(s):

Stefan Kahrs

Download Full-text

Algebraic semantics of rewriting terms and types

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-56393-8_1 ◽

1993 ◽

pp. 1-20 ◽

Author(s):

Karl Meinke

Keyword(s):

Algebraic Semantics

Download Full-text