scientific article; zbMATH DE number 1332641

zbMath0924.68054MaRDI QIDQ4259968

Juliana Freire, Terrance Swift, David S. Warren

Publication date: 9 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-03/A98-03.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

Logic programming approach to automata-based decision procedures ⋮ Parallel Logic Programming: A Sequel ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Dynamic reordering of alternatives for definite logic programs ⋮ The limits of fixed-order computation ⋮ Incremental reasoning on monadic second-order logics with logic programming ⋮ Concurrent and Local Evaluation of Normal Programs

This page was built for publication: