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

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540584315, 9783540487913
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A sequential reduction strategy

1994 ◽  
pp. 168-185 ◽  
Author(s):  
Sergio Antoy ◽  
Aart Middeldorp
Keyword(s):  
Reduction Strategy ◽  
Sequential Reduction

Higher-order minimal function graphs

1994 ◽  
pp. 242-252 ◽  
Author(s):  
Neil D Jones ◽  
Mads Rosendahl
Keyword(s):  
Higher Order ◽  
Minimal Function

scholarly journals A logic for variable aliasing in logic programs

1994 ◽  
pp. 287-304 ◽  
Author(s):  
Elena Marchiori
Keyword(s):  
Logic Programs

How to realize LSE narrowing

1994 ◽  
pp. 59-76 ◽  
Author(s):  
Andreas Werner ◽  
Alexander Bockmayr ◽  
Stefan Krischer

Preserving universal termination through unfold/fold

1994 ◽  
pp. 269-286 ◽  
Author(s):  
Annalisa Bossi ◽  
Nicoletta Cocco
Load More ...
Sign in / Sign up

Export Citation Format

Share Document