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

1989 ◽  
pp. 369-410 ◽  
Author(s):  
PRAKASH PANANGADEN ◽  
PAUL MENDLER ◽  
MICHAEL I. SCHWARTZBACH
Keyword(s):  
Type Theory ◽  
Constructive Type Theory ◽  
Constructive Type

Characteristic Sets and Gröbner Bases in Geometry Theorem Proving

1989 ◽  
pp. 33-92 ◽  
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

Foreword

1989 ◽  
pp. xi-xiii
Author(s):  
Hassan Aït-Kaci ◽  
Maurice Nivat

Tree Monoids and Recognizability of Sets of Finite Trees

1989 ◽  
pp. 351-367 ◽  
Author(s):  
MAURICE NIVAT ◽  
ANDREAS PODELSKI

Minimizing Expansions of Recursions

1989 ◽  
pp. 321-349 ◽  
Author(s):  
JEFFREY F. NAUGHTON ◽  
YEHOSHUA SAGIV

On Recognizable Sets and Tree Automata

1989 ◽  
pp. 93-126 ◽  
Author(s):  
B. COURCELLE
Keyword(s):  
Tree Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document