scientific article; zbMATH DE number 1931684

zbMath1014.68500MaRDI QIDQ4708942

Tomi Janhunen, Emilia Oikarinen

Publication date: 20 June 2003

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• Smodels
• lpeq

This page was built for publication: