scientific article; zbMATH DE number 1926607

From MaRDI portal

Revision as of 20:19, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4707739

Jump to:navigation, search

zbMath1012.68037MaRDI QIDQ4707739

Alexander Serebrenik, Danny De Schreye

Publication date: 11 June 2003

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Termination Analysis of Logic Programs Based on Dependency Graphs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4707739&oldid=18950462"