Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

53

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540371878, 9783540371885

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Importing HOL into Isabelle/HOL

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_27 ◽

2006 ◽

pp. 298-302 ◽

Author(s):

Steven Obua ◽

Sebastian Skalberg

Download Full-text

Combining Type Theory and Untyped Set Theory

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_19 ◽

2006 ◽

pp. 205-219 ◽

Author(s):

Chad E. Brown

Keyword(s):

Download Full-text

Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_2 ◽

2006 ◽

pp. 3-3 ◽

Author(s):

Adnan Darwiche

Keyword(s):

Knowledge Compilation

Download Full-text

Using the TPTP Language for Writing Derivations and Finite Interpretations

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_7 ◽

2006 ◽

pp. 67-81 ◽

Author(s):

Geoff Sutcliffe ◽

Stephan Schulz ◽

Koen Claessen ◽

Allen Van Gelder

Download Full-text

Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_37 ◽

2006 ◽

pp. 438-452 ◽

Author(s):

Assia Mahboubi

Download Full-text

Partial Recursive Functions in Higher-Order Logic

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_48 ◽

2006 ◽

pp. 589-603 ◽

Author(s):

Alexander Krauss

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Recursive Functions ◽

Partial Recursive Functions

Download Full-text

Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_31 ◽

2006 ◽

pp. 347-361 ◽

Author(s):

Roy Dyckhoff ◽

Delia Kesner ◽

Stéphane Lengrand

Keyword(s):

Sequent Calculus ◽

Cut Elimination

Download Full-text

Presburger Modal Logic Is PSPACE-Complete

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_44 ◽

2006 ◽

pp. 541-556 ◽

Author(s):

Stéphane Demri ◽

Denis Lugiez

Keyword(s):

Download Full-text

Specifying and Reasoning About Dynamic Access-Control Policies

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_51 ◽

2006 ◽

pp. 632-646 ◽

Author(s):

Daniel J. Dougherty ◽

Kathi Fisler ◽

Shriram Krishnamurthi

Keyword(s):

Access Control ◽

Control Policies ◽

Access Control Policies ◽

Dynamic Access Control

Download Full-text

Formal Global Optimisation with Taylor Models

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_35 ◽

2006 ◽

pp. 408-422 ◽

Author(s):

Roland Zumkeller

Keyword(s):

Global Optimisation ◽

Download Full-text