Lecture Notes in Computer Science - Computing in systems described by equations
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540085317, 9783540359838

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter IV: The confluence property and the Church-Rosser property

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_4 ◽

1977 ◽

pp. 28-39

Keyword(s):

The Church

Download Full-text

Chapter VI: Costs of reduction sequences

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_6 ◽

1977 ◽

pp. 54-65

Download Full-text

Chapter VII: Schematic definitions of SRSs

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_7 ◽

1977 ◽

pp. 66-71

Download Full-text

Chapter III: Subtree replacement systems

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_3 ◽

1977 ◽

pp. 18-27

Download Full-text

Chapter I: Introduction

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_1 ◽

1977 ◽

pp. 1-3 ◽

Cited By ~ 1

Download Full-text

Chapter X: Another approach to confluence, termination, optimality

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_10 ◽

1977 ◽

pp. 89-108

Download Full-text

Chapter V: Termination

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_5 ◽

1977 ◽

pp. 40-53

Download Full-text

Chapter VIII: Recursively defined functions

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_8 ◽

1977 ◽

pp. 72-79

Download Full-text

Chapter II: Syntax, semantics and proof theory for equational logic

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_2 ◽

1977 ◽

pp. 4-17

Keyword(s):

Proof Theory ◽

Equational Logic

Download Full-text

Chapter IX: Applications of SRS theory to LISP and lucid

Lecture Notes in Computer Science - Computing in systems described by equations ◽

10.1007/3-540-08531-9_9 ◽

1977 ◽

pp. 80-88

Download Full-text

Lecture Notes in Computer Science - Computing in systems described by equationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Chapter IV: The confluence property and the Church-Rosser property

Chapter VI: Costs of reduction sequences

Chapter VII: Schematic definitions of SRSs

Chapter III: Subtree replacement systems

Chapter I: Introduction

Chapter X: Another approach to confluence, termination, optimality

Chapter V: Termination

Chapter VIII: Recursively defined functions

Chapter II: Syntax, semantics and proof theory for equational logic

Chapter IX: Applications of SRS theory to LISP and lucid

Lecture Notes in Computer Science - Computing in systems described by equations
Latest Publications