scientific article; zbMATH DE number 2013608

zbMath1028.68814MaRDI QIDQ4437003

Tero Kojo, Timo Soininen, Tomi Männistö

Publication date: 4 December 2003

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

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (1)

Partial Compilation of ASP Programs

This page was built for publication: