scientific article; zbMATH DE number 1302017
From MaRDI portal
Publication:4247256
zbMath0927.03059MaRDI QIDQ4247256
Publication date: 13 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed point\(\mu\)-calculuslogic programmingframe problemsituation calculusinductive definabilityramification constraintsstructural operational semantics of concurrent processessuccessor state axioms
Related Items (3)
Non-terminating processes in the situation calculus ⋮ Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) ⋮ Inductive situation calculus
Uses Software
This page was built for publication:
