scientific article; zbMATH DE number 1392287
From MaRDI portal
zbMath0945.03541MaRDI QIDQ4936126
David Allen McAllester, Witold Charatonik, Igor Walukiewicz, Andreas Podelski, Damian Niwinski
Publication date: 24 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items
On dual programs in co-logic programming and the Horn \({\mu}\)-calculus, Extending Co-logic Programs for Branching-Time Model Checking, A logical framework with higher-order rational (circular) terms, Inf-datalog, Modal Logic and Complexities, On Dual Programs in Co-Logic Programming, Set constraints with intersection
