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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540634591, 9783540695554

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Needed reductions with context-sensitive rewriting

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027007 ◽

1997 ◽

pp. 129-143 ◽

Cited By ~ 3

Author(s):

Salvador Lucas

Keyword(s):

Context Sensitive

Download Full-text

Optimal left-to-right pattern-matching automata

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027016 ◽

1997 ◽

pp. 273-286 ◽

Cited By ~ 10

Author(s):

Nadia Nedjah ◽

Colin D. Walter ◽

Stephen E. Eldridge

Keyword(s):

Pattern Matching

Download Full-text

Explicit substitutions for the λΔ-calculus

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027012 ◽

1997 ◽

pp. 209-223 ◽

Cited By ~ 1

Author(s):

Gilles Barthe ◽

Fairouz Kamareddine ◽

Alejandro Ríos

Keyword(s):

Explicit Substitutions

Download Full-text

Termination of algebraic type systems: The syntactic approach

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027010 ◽

1997 ◽

pp. 174-193 ◽

Cited By ~ 1

Author(s):

Gilles Baxthe ◽

Femke van Raamsdonk

Keyword(s):

Type Systems ◽

Syntactic Approach

Download Full-text

A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027001 ◽

1997 ◽

pp. 31-45 ◽

Cited By ~ 8

Author(s):

Michael Codish ◽

Cohavit Taboch

Keyword(s):

Logic Programs ◽

Termination Analysis

Download Full-text

Conditional term graph rewriting

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027008 ◽

1997 ◽

pp. 144-158

Author(s):

Enno Ohlebusch

Keyword(s):

Graph Rewriting ◽

Conditional Term

Download Full-text

Perpetuality and uniform normalization

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027014 ◽

1997 ◽

pp. 240-255 ◽

Cited By ~ 4

Author(s):

Zurab Khasidashvili ◽

Mizuhito Ogawa

Download Full-text

Safe folding/unfolding with conditional narrowing

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0026999 ◽

1997 ◽

pp. 1-15 ◽

Cited By ~ 6

Author(s):

M. Alpuente ◽

M. Falaschi ◽

G. Moreno ◽

G. Vidal

Keyword(s):

Conditional Narrowing

Download Full-text

Parallelizing functional programs by generalization

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027002 ◽

1997 ◽

pp. 46-60 ◽

Cited By ~ 3

Author(s):

Alfons Geser ◽

Sergei Gorlatch

Download Full-text

Higher-order equational unification via explicit substitutions

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027003 ◽

1997 ◽

pp. 61-75 ◽

Cited By ~ 4

Author(s):

Claude Kirchner ◽

Christophe Ringeissen

Keyword(s):

Higher Order ◽

Equational Unification ◽

Explicit Substitutions

Download Full-text

Algebraic and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Needed reductions with context-sensitive rewriting

Optimal left-to-right pattern-matching automata

Explicit substitutions for the λΔ-calculus

Termination of algebraic type systems: The syntactic approach

A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

Conditional term graph rewriting

Perpetuality and uniform normalization

Safe folding/unfolding with conditional narrowing

Parallelizing functional programs by generalization

Higher-order equational unification via explicit substitutions

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