Automatic Program Development
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Netherlands

9781402065842, 9781402065859
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

2008 ◽  
pp. 130-177
Author(s):  
Alberto Pettorossi ◽  
Maurizio Proietti ◽  
Sophie Renault
Keyword(s):  
Logic Programs

Aspects as Invariants

2008 ◽  
pp. 247-263
Author(s):  
Douglas R. Smith

scholarly journals Least Reflexive Points of Relations

2008 ◽  
pp. 215-228
Author(s):  
Jules Desharnais ◽  
Bernhard Möller
Load More ...
Sign in / Sign up

Export Citation Format

Share Document