Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642287169, 9783642287176
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lazy Abstraction with Interpolants for Arrays

2012 ◽  
pp. 46-61 ◽  
Author(s):  
Francesco Alberti ◽  
Roberto Bruttomesso ◽  
Silvio Ghilardi ◽  
Silvio Ranise ◽  
Natasha Sharygina
Keyword(s):  
Lazy Abstraction

Automatic Inference of Resource Consumption Bounds

2012 ◽  
pp. 1-11 ◽  
Author(s):  
Elvira Albert ◽  
Puri Arenas ◽  
Samir Genaim ◽  
Miguel Gómez-Zamalloa ◽  
Germán Puebla
Keyword(s):  
Resource Consumption ◽  
Automatic Inference

Enfragmo: A System for Modelling and Solving Search Problems with Logic

2012 ◽  
pp. 15-22 ◽  
Author(s):  
Amir Aavani ◽  
Xiongnan Wu ◽  
Shahab Tasharrofi ◽  
Eugenia Ternovska ◽  
David Mitchell
Keyword(s):  
Search Problems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document