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

MædMax: A Maximal Ordered Completion Tool

2018 ◽  
pp. 472-480 ◽  
Author(s):  
Sarah Winkler ◽  
Georg Moser

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

2018 ◽  
pp. 439-454 ◽  
Author(s):  
Nicolas Jeannerod ◽  
Ralf Treinen
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Feature Trees

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 Resolution-Based Calculus for Preferential Logics

2018 ◽  
pp. 498-515 ◽  
Author(s):  
Cláudia Nalon ◽  
Dirk Pattinson

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

scholarly journals A Why3 Framework for Reflection Proofs and Its Application to GMP’s Algorithms

2018 ◽  
pp. 178-193 ◽  
Author(s):  
Guillaume Melquiond ◽  
Raphaël Rieu-Helft
Load More ...
Sign in / Sign up

Export Citation Format

Share Document