Result 1 to 20 of 70 total
Probabilistic declarative debugging. (English)
J. Funct. Log. Program. 2008, Article 1, 29 p., electronic only (2008).
1
A uniform proof-theoretic foundation for abstract paraconsistent logic programming. (English)
J. Funct. Log. Program. 2007, Article 1, 36 p. (2007).
2
Encapsulating non-determinism in functional logic computations. (English)
J. Funct. Log. Program. 2004, Spec. Iss. 1, Article 6, 28 p., electronic only (2004).
3
Dynamic predicates in functional logic programs. (English)
J. Funct. Log. Program. 2004, Spec. Iss. 1, Article 5, 19 p., electronic only (2004).
4
Formalizing two fixed point semantics for $HH(C)$. (English)
J. Funct. Log. Program. 2004, Spec. Iss. 1, Article 4, 30 p., electronic only (2004).
5
Special issue: Selected and revised papers of the 13th international workshop on functional and (constraint) logic programming (WFLP 2004), Aachen, Germany, June 1, 2004. (English)
J. Funct. Log. Program. 2004, Spec. Iss. 1, not consec. pag., electronic only (2004).
6
A proof procedure for functional first order logic programs with non-deterministic lazy functions and built-in predicates. (English)
J. Funct. Log. Program. 2004, Article 3, 46 p., electronic only (2004).
7
Aggregation in functional query languages. (English)
J. Funct. Log. Program. 2004, Article 2, 40 p., electronic only (2004).
8
Lambda-lifting in quadratic time. (English)
J. Funct. Log. Program. 2004, Article 1, 43 p., electronic only (2004).
9
Special issue: Dedicated to the sixt international symposium on functional and logic programming (FLOPS 2002), Aizu, Japan, September 15‒17, 2002. (English)
J. Funct. Log. Program. 2003, Spec. Iss. 1, 87~p. (2003).
10
The extension of ML with hypothetical views for discovery science: Formalization and implementation. (English)
J. Funct. Log. Program. 2003, Spec. Iss. 1, Article 3, 22 p., electronic only (2003).
11
Solving constraints for an instance of an extended clp language over a domain based on real numbers and Herbrand terms. (English)
J. Funct. Log. Program. 2003, Spec. Iss. 1, Article 2, 32 p., electronic only (2003).
12
Improving deterministic computations in lazy functional logic languages. (English)
J. Funct. Log. Program. 2003, Spec. Iss. 1, Article 1, 23 p., electronic only (2003).
13
Special issue: Fifth international symposium on functional and logic programming (Flops 2001), Tokyo, Japan, March 7‒9, 2001. Selected papers. (English)
J. Funct. Log. Program. 2002, Spec. Iss. 1, electronic (2002).
14
A simply typed context calculus with first-class environments. (English)
J. Funct. Log. Program. 2002, Spec. Iss. 1, Article 4, 41 p., electronic only (2002).
15
Complete selection functions for a lazy conditional narrowing calculus. (English)
J. Funct. Log. Program. 2002, Spec. Iss. 1, Article 3, 43 p., electronic only (2002).
16
Subject reduction of logic programs as proof-theoretic property. (English)
J. Funct. Log. Program. 2002, Spec. Iss. 1, Article 2, 27 p., electronic only (2002).
17
A practical partial evaluation scheme for multi-paradigm declarative languages. (English)
J. Funct. Log. Program. 2002, Spec. Iss. 1, Article 1, 34 p., electronic only (2002).
18
Special issue: Practical aspects of declarative languages (PADL 2000). Second international workshop Boston, MA, USA, January 17‒18, 2000. (English)
J. Funct. Log. Program. 2001, Spec. Iss. 2, electronic only (2001).
19
Solution to the problem of Zantema on a persistent property of term rewriting systems. (English)
J. Funct. Log. Program. 2001, Article 11, 20 p., electronic only (2001).
20
Result 1 to 20 of 70 total
Start
Contact
Print
General Help
