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

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540214021, 9783540247548
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Normalization by Evaluation for λ →2

2004 ◽  
pp. 260-275 ◽  
Author(s):  
Thorsten Altenkirch ◽  
Tarmo Uustalu

Analysing Definitional Trees: Looking for Determinism

2004 ◽  
pp. 55-69 ◽  
Author(s):  
Pascual Julián Iranzo ◽  
Christian Villamizar Lamus

Sub-Birkhoff

2004 ◽  
pp. 180-195 ◽  
Author(s):  
Vincent van Oostrom

scholarly journals LIX: an Effective Self-applicable Partial Evaluator for Prolog

2004 ◽  
pp. 85-99 ◽  
Author(s):  
Stephen-John Craig ◽  
Michael Leuschel

scholarly journals Set-Sharing Is Not Always Redundant for Pair-Sharing

2004 ◽  
pp. 117-131 ◽  
Author(s):  
Francisco Bueno ◽  
Maria Garcia de la Banda
Keyword(s):  
Set Sharing

Online Justification for Tabled Logic Programs

2004 ◽  
pp. 24-38 ◽  
Author(s):  
Giridhar Pemmasani ◽  
Hai-Feng Guo ◽  
Yifei Dong ◽  
C. R. Ramakrishnan ◽  
I. V. Ramakrishnan
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs

scholarly journals Backward Pair Sharing Analysis

2004 ◽  
pp. 132-146
Author(s):  
Lunjin Lu ◽  
Andy King

$\mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages

2004 ◽  
pp. 70-84 ◽  
Author(s):  
Rafael Caballero ◽  
Mario Rodríguez-Artalejo
Keyword(s):  
Functional Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document