Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030510732, 9783030510749
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Soft Subexponentials and Multiplexing

2020 ◽  
pp. 500-517
Author(s):  
Max Kanovich ◽  
Stepan Kuznetsov ◽  
Vivek Nigam ◽  
Andre Scedrov

scholarly journals Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates

2020 ◽  
pp. 201-217
Author(s):  
Timm Lampert ◽  
Anderson Nakano
Keyword(s):  
Binary Relation

scholarly journals Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates

2020 ◽  
pp. 83-102
Author(s):  
Emanuele De Angelis ◽  
Fabio Fioravanti ◽  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Data Types ◽  
Horn Clauses ◽  
Algebraic Data Types

scholarly journals Monadic Decomposition in Integer Linear Arithmetic

2020 ◽  
pp. 122-140
Author(s):  
Matthew Hague ◽  
Anthony W. Lin ◽  
Philipp Rümmer ◽  
Zhilin Wu
Keyword(s):  
Linear Arithmetic

scholarly journals How QBF Expansion Makes Strategy Extraction Hard

2020 ◽  
pp. 66-82
Author(s):  
Leroy Chew ◽  
Judith Clymo

scholarly journals NP Reasoning in the Monotone $$\mu $$-Calculus

2020 ◽  
pp. 482-499
Author(s):  
Daniel Hausmann ◽  
Lutz Schröder

scholarly journals Politeness for the Theory of Algebraic Datatypes

2020 ◽  
pp. 238-255
Author(s):  
Ying Sheng ◽  
Yoni Zohar ◽  
Christophe Ringeissen ◽  
Jane Lange ◽  
Pascal Fontaine ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document