Automated Deduction — CADE-15 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540646754, 9783540691105
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extensional higher-order resolution

1998 ◽  
pp. 56-71 ◽  
Author(s):  
Christoph Benzmüller ◽  
Michael Kohlhase
Keyword(s):  
Higher Order

System description: An equational constraints solver

1998 ◽  
pp. 119-123 ◽  
Author(s):  
Nicolas Peltier
Keyword(s):  
System Description

Strict basic superposition

1998 ◽  
pp. 160-174 ◽  
Author(s):  
Leo Bachmair ◽  
Harald Ganzinger

Unification in lambda-calculi with if-then-else

1998 ◽  
pp. 103-118 ◽  
Author(s):  
Michael Beeson

System description: Cooperation in model elimination: CPTHEO

1998 ◽  
pp. 42-46 ◽  
Author(s):  
Marc Fuchs ◽  
Andreas Wolf
Keyword(s):  
Model Elimination ◽  
System Description

About the confluence of equational pattern rewrite systems

1998 ◽  
pp. 88-102 ◽  
Author(s):  
Alexandre Boudet ◽  
Evelyne Contejean
Keyword(s):  
Rewrite Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document