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

scholarly journals Presburger Modal Logic Is PSPACE-Complete

2006 ◽  
pp. 541-556 ◽  
Author(s):  
Stéphane Demri ◽  
Denis Lugiez
Keyword(s):  
Modal Logic

scholarly journals Specifying and Reasoning About Dynamic Access-Control Policies

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

Importing HOL into Isabelle/HOL

2006 ◽  
pp. 298-302 ◽  
Author(s):  
Steven Obua ◽  
Sebastian Skalberg

Using the TPTP Language for Writing Derivations and Finite Interpretations

2006 ◽  
pp. 67-81 ◽  
Author(s):  
Geoff Sutcliffe ◽  
Stephan Schulz ◽  
Koen Claessen ◽  
Allen Van Gelder
Load More ...
Sign in / Sign up

Export Citation Format

Share Document