Publication:4386956
From MaRDI portal
zbMath0900.68298MaRDI QIDQ4386956
No author found.
Publication date: 10 May 1998
68Q55: Semantics in the theory of computing
Related Items
Theory revision with queries: Horn, read-once, and parity formulas, Compressing probabilistic Prolog programs, Revising threshold functions