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

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013608 ◽

2005 ◽

pp. 181-191

Author(s):

Lars Hallnäs

Download Full-text

Implementing λ-calculus reduction strategies in extended logic programming languages

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013609 ◽

2005 ◽

pp. 193-219 ◽

Author(s):

John Hannan

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Reduction Strategies ◽

Logic Programming Languages ◽

Extended Logic Programming

Download Full-text

A logic programming approach to implementing higher-Order term rewriting

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013606 ◽

2005 ◽

pp. 135-161 ◽

Author(s):

Amy Felty

Keyword(s):

Logic Programming ◽

Term Rewriting ◽

Higher Order ◽

Programming Approach ◽

Higher Order Term

Download Full-text

Methodology and programming techniques in GCLA II

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013602 ◽

2005 ◽

pp. 1-44 ◽

Author(s):

Martin Aronsson

Keyword(s):

Programming Techniques

Download Full-text

An overview of the Andorra Kernel Language

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013607 ◽

2005 ◽

pp. 163-179 ◽

Author(s):

Torkel Franzén ◽

Seif Haridi ◽

Sverker Janson

Download Full-text

GCLA II A definitional approach to control

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013611 ◽

2005 ◽

pp. 239-297 ◽

Author(s):

Per Kreuger

Download Full-text

Extended logic-plus-functional Programming

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013603 ◽

2005 ◽

pp. 45-72 ◽

Author(s):

Harold Boley

Keyword(s):

Functional Programming

Download Full-text

A finitary version of the calculus of partial inductive definitions

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013605 ◽

2005 ◽

pp. 89-134 ◽

Author(s):

Lars -Henrik Eriksson

Keyword(s):

Inductive Definitions ◽

Partial Inductive Definitions

Download Full-text

Natural semantics and some of its meta-theory in Elf

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013612 ◽

2005 ◽

pp. 299-344 ◽

Author(s):

Spiro Michaylov ◽

Frank Pfenning

Keyword(s):

Download Full-text

Open logic theories

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013604 ◽

2005 ◽

pp. 73-88

Author(s):

Antonio Brogi ◽

Evelina Lamma ◽

Paola Mello

Keyword(s):

Download Full-text