Algebraic Techniques
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Elsevier

9780120463701

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recursively Defined Types in Constructive Type Theory

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50017-6 ◽

1989 ◽

pp. 369-410 ◽

Cited By ~ 2

Author(s):

PRAKASH PANANGADEN ◽

PAUL MENDLER ◽

MICHAEL I. SCHWARTZBACH

Keyword(s):

Type Theory ◽

Constructive Type Theory ◽

Constructive Type

Download Full-text

Characteristic Sets and Gröbner Bases in Geometry Theorem Proving

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50008-5 ◽

1989 ◽

pp. 33-92 ◽

Cited By ~ 2

Author(s):

SHANG-CHING CHOU ◽

WILLIAM F. SCHELTER ◽

JIN-GEN YANG

Keyword(s):

Theorem Proving ◽

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets ◽

Geometry Theorem Proving

Download Full-text

Foreword

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50005-x ◽

1989 ◽

pp. xi-xiii

Author(s):

Hassan Aït-Kaci ◽

Maurice Nivat

Download Full-text

Contributors

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50004-8 ◽

1989 ◽

pp. ix-x

Download Full-text

Bisimulation in Algebraic Specifications11Work partially supported by the ESPRIT-project METEOR and by CNR (Italy).

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50007-3 ◽

1989 ◽

pp. 1-31

Author(s):

EGIDIO ASTESIANO ◽

MARTIN WIRSING

Download Full-text

Tree Monoids and Recognizability of Sets of Finite Trees

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50016-4 ◽

1989 ◽

pp. 351-367 ◽

Cited By ~ 4

Author(s):

MAURICE NIVAT ◽

ANDREAS PODELSKI

Download Full-text

Minimizing Expansions of Recursions

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50015-2 ◽

1989 ◽

pp. 321-349 ◽

Cited By ~ 2

Author(s):

JEFFREY F. NAUGHTON ◽

YEHOSHUA SAGIV

Download Full-text

Canonical Representatives for Observational Equivalence Classes

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50014-0 ◽

1989 ◽

pp. 293-319 ◽

Cited By ~ 3

Author(s):

UGO MONTANARI ◽

MARCELLO SGAMMA

Keyword(s):

Equivalence Classes ◽

Observational Equivalence

Download Full-text

On Recognizable Sets and Tree Automata

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50009-7 ◽

1989 ◽

pp. 93-126 ◽

Cited By ~ 20

Author(s):

B. COURCELLE

Keyword(s):

Tree Automata

Download Full-text

Front Matter

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50001-2 ◽

1989 ◽

pp. iii

Download Full-text