Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 30)

H-INDEX

2
(FIVE YEARS 2)

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 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 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