Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

46
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319942049, 9783319942056
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Tableaux Calculus for Reducing Proof Size

2018 ◽  
pp. 64-80 ◽  
Author(s):  
Michael Peter Lettmann ◽  
Nicolas Peltier

scholarly journals From Syntactic Proofs to Combinatorial Proofs

2018 ◽  
pp. 481-497 ◽  
Author(s):  
Matteo Acclavio ◽  
Lutz Straßburger

scholarly journals A New Probabilistic Algorithm for Approximate Model Counting

2018 ◽  
pp. 312-328
Author(s):  
Cunjing Ge ◽  
Feifei Ma ◽  
Tian Liu ◽  
Jian Zhang ◽  
Xutong Ma
Keyword(s):  
Approximate Model ◽  
Probabilistic Algorithm ◽  
Model Counting

scholarly journals Well-Founded Unions

2018 ◽  
pp. 117-133
Author(s):  
Jeremy Dawson ◽  
Nachum Dershowitz ◽  
Rajeev Goré

A Logical Framework with Commutative and Non-commutative Subexponentials

2018 ◽  
pp. 228-245 ◽  
Author(s):  
Max Kanovich ◽  
Stepan Kuznetsov ◽  
Vivek Nigam ◽  
Andre Scedrov
Keyword(s):  
Logical Framework
Load More ...
Sign in / Sign up

Export Citation Format

Share Document