scientific article; zbMATH DE number 1332654
From MaRDI portal
Publication:4259975
zbMath0924.68056MaRDI QIDQ4259975
No author found.
Publication date: 9 September 1999
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-03/A99-03.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Probabilistic modelling, inference and learning using logical theories ⋮ Probabilistic reasoning in a classical logic ⋮ A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ Operational semantics for declarative multi-paradigm languages ⋮ Evaluation strategies for functional logic programming ⋮ Functional Logic Programming in Maude ⋮ Programming with narrowing: a tutorial ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.
Uses Software
This page was built for publication:
