Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642381966, 9783642381973
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An Introduction to Search Combinators

2013 ◽  
pp. 2-16 ◽  
Author(s):  
Tom Schrijvers ◽  
Guido Tack ◽  
Pieter Wuille ◽  
Horst Samulowitz ◽  
Peter J. Stuckey

scholarly journals XACML 3.0 in Answer Set Programming

2013 ◽  
pp. 89-105 ◽  
Author(s):  
Carroline Dewi Puspa Kencana Ramli ◽  
Hanne Riis Nielson ◽  
Flemming Nielson
Keyword(s):  
Answer Set Programming ◽  
Answer Set

scholarly journals Specialization with Constrained Generalization for Software Model Checking

2013 ◽  
pp. 51-70 ◽  
Author(s):  
Emanuele De Angelis ◽  
Fabio Fioravanti ◽  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document