Automated Deduction – CADE 26 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319630458, 9783319630465
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Detecting Inconsistencies in Large First-Order Knowledge Bases

2017 ◽  
pp. 310-325 ◽  
Author(s):  
Stephan Schulz ◽  
Geoff Sutcliffe ◽  
Josef Urban ◽  
Adam Pease
Keyword(s):  
Knowledge Bases ◽  
First Order

Towards Logic-Based Verification of JavaScript Programs

2017 ◽  
pp. 8-25 ◽  
Author(s):  
José Fragoso Santos ◽  
Philippa Gardner ◽  
Petar Maksimović ◽  
Daiva Naudžiūnienė

scholarly journals CSI: New Evidence – A Progress Report

2017 ◽  
pp. 385-397 ◽  
Author(s):  
Julian Nagele ◽  
Bertram Felgenhauer ◽  
Aart Middeldorp
Keyword(s):  
Progress Report ◽  
New Evidence

Relational Constraint Solving in SMT

2017 ◽  
pp. 148-165 ◽  
Author(s):  
Baoluo Meng ◽  
Andrew Reynolds ◽  
Cesare Tinelli ◽  
Clark Barrett
Keyword(s):  
Constraint Solving
Load More ...
Sign in / Sign up

Export Citation Format

Share Document