Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

59
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540422549, 9783540457442
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Hybrid μ-Calculus

2001 ◽  
pp. 76-91 ◽  
Author(s):  
Ulrike Sattler ◽  
Moshe Y. Vardi

JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants

2001 ◽  
pp. 421-426 ◽  
Author(s):  
Stephan Schmitt ◽  
Lori Lorigo ◽  
Christoph Kreitz ◽  
Aleksey Nogin
Keyword(s):  
Theorem Proving ◽  
Proof Assistants ◽  
Interactive Proof

System Description: RDL Rewrite and Decision Procedure Laboratory

2001 ◽  
pp. 663-669 ◽  
Author(s):  
Alessandro Armando ◽  
Luca Compagna ◽  
Silvio Ranise
Keyword(s):  
Decision Procedure ◽  
System Description

Instructing Equational Set-Reasoning with Otter

2001 ◽  
pp. 152-167 ◽  
Author(s):  
Andrea Formisano ◽  
Eugenio G. Omodeo ◽  
Marco Temperini

Bunched Logic Programming

2001 ◽  
pp. 289-304 ◽  
Author(s):  
Pablo A. Armelín ◽  
David J. Pym
Keyword(s):  
Logic Programming
Load More ...
Sign in / Sign up

Export Citation Format

Share Document