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

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642224379, 9783642224386
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deciding Security for Protocols with Recursive Tests

2011 ◽  
pp. 49-63 ◽  
Author(s):  
Mathilde Arnaud ◽  
Véronique Cortier ◽  
Stéphanie Delaune

On Transfinite Knuth-Bendix Orders

2011 ◽  
pp. 384-399 ◽  
Author(s):  
Laura Kovács ◽  
Georg Moser ◽  
Andrei Voronkov

Exploiting Symmetry in SMT Problems

2011 ◽  
pp. 222-236 ◽  
Author(s):  
David Déharbe ◽  
Pascal Fontaine ◽  
Stephan Merz ◽  
Bruno Woltzenlogel Paleo

scholarly journals Automated Cyclic Entailment Proofs in Separation Logic

2011 ◽  
pp. 131-146 ◽  
Author(s):  
James Brotherston ◽  
Dino Distefano ◽  
Rasmus Lerchedahl Petersen
Keyword(s):  
Separation Logic

CSI – A Confluence Tool

2011 ◽  
pp. 499-505 ◽  
Author(s):  
Harald Zankl ◽  
Bertram Felgenhauer ◽  
Aart Middeldorp
Load More ...
Sign in / Sign up

Export Citation Format

Share Document