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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642405365, 9783642405372
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bounded Proofs and Step Frames

2013 ◽  
pp. 44-58 ◽  
Author(s):  
Nick Bezhanishvili ◽  
Silvio Ghilardi

scholarly journals Tableaux for Verification of Data-Centric Processes

2013 ◽  
pp. 28-43 ◽  
Author(s):  
Andreas Bauer ◽  
Peter Baumgartner ◽  
Martin Diller ◽  
Michael Norrish

scholarly journals Witness Runs for Counter Machines

2013 ◽  
pp. 1-4
Author(s):  
Clark Barrett ◽  
Stéphane Demri ◽  
Morgan Deters
Keyword(s):  
Counter Machines

scholarly journals A Terminating Evaluation-Driven Variant of G3i

2013 ◽  
pp. 104-118 ◽  
Author(s):  
Mauro Ferrari ◽  
Camillo Fiorentini ◽  
Guido Fiorino
Load More ...
Sign in / Sign up

Export Citation Format

Share Document