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

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

5
(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

1997 ◽  
pp. 129-143 ◽  
Author(s):  
Salvador Lucas
Keyword(s):  
Context Sensitive

Optimal left-to-right pattern-matching automata

1997 ◽  
pp. 273-286 ◽  
Author(s):  
Nadia Nedjah ◽  
Colin D. Walter ◽  
Stephen E. Eldridge
Keyword(s):  
Pattern Matching

Explicit substitutions for the λΔ-calculus

1997 ◽  
pp. 209-223 ◽  
Author(s):  
Gilles Barthe ◽  
Fairouz Kamareddine ◽  
Alejandro Ríos
Keyword(s):  
Explicit Substitutions

Termination of algebraic type systems: The syntactic approach

1997 ◽  
pp. 174-193 ◽  
Author(s):  
Gilles Baxthe ◽  
Femke van Raamsdonk
Keyword(s):  
Type Systems ◽  
Syntactic Approach

Conditional term graph rewriting

1997 ◽  
pp. 144-158
Author(s):  
Enno Ohlebusch
Keyword(s):  
Graph Rewriting ◽  
Conditional Term

Perpetuality and uniform normalization

1997 ◽  
pp. 240-255 ◽  
Author(s):  
Zurab Khasidashvili ◽  
Mizuhito Ogawa

Safe folding/unfolding with conditional narrowing

1997 ◽  
pp. 1-15 ◽  
Author(s):  
M. Alpuente ◽  
M. Falaschi ◽  
G. Moreno ◽  
G. Vidal
Keyword(s):  
Conditional Narrowing

Parallelizing functional programs by generalization

1997 ◽  
pp. 46-60 ◽  
Author(s):  
Alfons Geser ◽  
Sergei Gorlatch

Higher-order equational unification via explicit substitutions

1997 ◽  
pp. 61-75 ◽  
Author(s):  
Claude Kirchner ◽  
Christophe Ringeissen
Keyword(s):  
Higher Order ◽  
Equational Unification ◽  
Explicit Substitutions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document