scientific article
From MaRDI portal
Publication:3348435
zbMath0726.68064MaRDI QIDQ3348435
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
On Well-Founded Set-Inductions and Locally Monotone Operators ⋮ Update rules in datalog programs ⋮ Reachability is harder for directed than for undirected finite graphs ⋮ On the relationship between annotated logic programs and nonmonotonic formalisms ⋮ On reasoning about structural equality in XML: a description logic approach
This page was built for publication:
