Programming Logics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642376504, 9783642376511
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Generic Functional Representation of Sorted Trees Supporting Attribution

2013 ◽  
pp. 72-89 ◽  
Author(s):  
Jean-Marie Gaillourdet ◽  
Patrick Michel ◽  
Arnd Poetzsch-Heffter ◽  
Nicole Rauch
Keyword(s):  
Functional Representation

Canonical Ground Horn Theories

2013 ◽  
pp. 35-71 ◽  
Author(s):  
Maria Paola Bonacina ◽  
Nachum Dershowitz
Keyword(s):  
Horn Theories

From Search to Computation: Redundancy Criteria and Simplification at Work

2013 ◽  
pp. 169-193 ◽  
Author(s):  
Thomas Hillenbrand ◽  
Ruzica Piskac ◽  
Uwe Waldmann ◽  
Christoph Weidenbach

scholarly journals Planning with Effectively Propositional Logic

2013 ◽  
pp. 302-316 ◽  
Author(s):  
Juan Antonio Navarro-Pérez ◽  
Andrei Voronkov
Keyword(s):  
Propositional Logic

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs

2013 ◽  
pp. 414-445 ◽  
Author(s):  
J. Kreiker ◽  
T. Reps ◽  
N. Rinetzky ◽  
M. Sagiv ◽  
Reinhard Wilhelm ◽  
...  
Keyword(s):  
Shape Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document