Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642027154, 9783642027161
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof Systems for a Gödel Modal Logic

2009 ◽  
pp. 265-279 ◽  
Author(s):  
George Metcalfe ◽  
Nicola Olivetti
Keyword(s):  
Modal Logic ◽  
Proof Systems

A Novel Architecture for Situation Awareness Systems

2009 ◽  
pp. 77-92 ◽  
Author(s):  
Franz Baader ◽  
Andreas Bauer ◽  
Peter Baumgartner ◽  
Anne Cregan ◽  
Alfredo Gabaldon ◽  
...  
Keyword(s):  
Situation Awareness

Canonical Constructive Systems

2009 ◽  
pp. 62-76 ◽  
Author(s):  
Arnon Avron ◽  
Ori Lahav

Tableaux and Model Checking for Memory Logics

2009 ◽  
pp. 47-61 ◽  
Author(s):  
Carlos Areces ◽  
Diego Figueira ◽  
Daniel Gorín ◽  
Sergio Mera
Keyword(s):  
Model Checking

Prime Implicate Tries

2009 ◽  
pp. 250-264 ◽  
Author(s):  
Andrew Matusiewicz ◽  
Neil V. Murray ◽  
Erik Rosenthal
Load More ...
Sign in / Sign up

Export Citation Format

Share Document