Algebraic and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354055873x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A general scheme for constraint functional logic programming

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013828 ◽

2005 ◽

pp. 213-227 ◽

Cited By ~ 2

Author(s):

Francisco Javier ◽

López Fraguas

Keyword(s):

Logic Programming ◽

General Scheme ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text

Proof by consistency in constructive systems with final algebra semantics

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013832 ◽

2005 ◽

pp. 276-290 ◽

Cited By ~ 1

Author(s):

Olav Lysne

Download Full-text

Eta-conversion for the languages of explicit substitutions

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013834 ◽

2005 ◽

pp. 306-321 ◽

Cited By ~ 6

Author(s):

Thérèse Hardin

Keyword(s):

Explicit Substitutions

Download Full-text

Oracle semantics for Prologa

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013822 ◽

2005 ◽

pp. 100-114 ◽

Cited By ~ 2

Author(s):

Roberto Barbuti ◽

Michael Codish ◽

Roberto Giacobazzi ◽

Michael Maher

Download Full-text

Partial deduction of logic programs WRT well-founded semantics

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013839 ◽

2005 ◽

pp. 384-402 ◽

Cited By ~ 3

Author(s):

Chandrabose Aravindan ◽

Phan Minh Dung

Keyword(s):

Logic Programs ◽

Partial Deduction

Download Full-text

Termination of order-sorted rewriting

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013818 ◽

2005 ◽

pp. 37-52 ◽

Cited By ~ 3

Author(s):

Isabelle Gnaedig

Download Full-text

Non-linear real constraints in constraint logic programming

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013827 ◽

2005 ◽

pp. 201-212 ◽

Cited By ~ 8

Author(s):

Hoon Hong

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Non Linear

Download Full-text

A goal oriented strategy based on completion

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013842 ◽

2005 ◽

pp. 435-445 ◽

Cited By ~ 1

Author(s):

Rolf Socher-Ambrosius

Download Full-text

High-level-replacement systems for equational algebraic specifications

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013816 ◽

2005 ◽

pp. 3-20 ◽

Cited By ~ 4

Author(s):

H. Ehrig ◽

F. Parisi-Presicce

Keyword(s):

Algebraic Specifications ◽

High Level

Download Full-text

On the relation between primitive recursion, schematization, and divergence

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013823 ◽

2005 ◽

pp. 115-127 ◽

Cited By ~ 1

Author(s):

Miki Hermann

Keyword(s):

Primitive Recursion

Download Full-text

Algebraic and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

A general scheme for constraint functional logic programming

Proof by consistency in constructive systems with final algebra semantics

Eta-conversion for the languages of explicit substitutions

Oracle semantics for Prologa

Partial deduction of logic programs WRT well-founded semantics

Termination of order-sorted rewriting

Non-linear real constraints in constraint logic programming

A goal oriented strategy based on completion

High-level-replacement systems for equational algebraic specifications

On the relation between primitive recursion, schematization, and divergence

Algebraic and Logic Programming - Lecture Notes in Computer Science
Latest Publications