scientific article; zbMATH DE number 1984523

From MaRDI portal

Publication:4428888

Jump to:navigation, search

zbMath1034.68018MaRDI QIDQ4428888

John C. Shepherdson

Publication date: 22 September 2003

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

zbMATH Keywords

constructive negation Clark completion equality theory 3-valued semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Decidability of the Clark's completion semantics for monadic programs and queries

This page was built for publication:

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