scientific article; zbMATH DE number 1884391

zbMath1007.68515MaRDI QIDQ4798010

Keijo Heljanko, Ilkka Niemelä

Publication date: 18 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2173/21730200.htm

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)

Related Items (2)

On the equivalence and range of applicability of graph-based representations of logic programs. ⋮ Enhancing disjunctive logic programming systems by SAT checkers

Uses Software

• Smodels

This page was built for publication: