Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer-Verlag

354055498x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logical and computational invariants of programs

2005 ◽  
pp. 181-191
Author(s):  
Lars Hallnäs

An overview of the Andorra Kernel Language

2005 ◽  
pp. 163-179 ◽  
Author(s):  
Torkel Franzén ◽  
Seif Haridi ◽  
Sverker Janson

scholarly journals GCLA II A definitional approach to control

2005 ◽  
pp. 239-297 ◽  
Author(s):  
Per Kreuger

scholarly journals Extended logic-plus-functional Programming

2005 ◽  
pp. 45-72 ◽  
Author(s):  
Harold Boley
Keyword(s):  
Functional Programming

scholarly journals Natural semantics and some of its meta-theory in Elf

2005 ◽  
pp. 299-344 ◽  
Author(s):  
Spiro Michaylov ◽  
Frank Pfenning
Keyword(s):  
Meta Theory

Open logic theories

2005 ◽  
pp. 73-88
Author(s):  
Antonio Brogi ◽  
Evelina Lamma ◽  
Paola Mello
Keyword(s):  
Open Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document