A tutorial on the well-founded semantics

From MaRDI portal

Publication:5930853

Jump to:navigation, search

zbMath0972.68108MaRDI QIDQ5930853

Allen van Gelder

Publication date: 6 November 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

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

This page was built for publication: A tutorial on the well-founded semantics

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