Publication:4222923
From MaRDI portal
zbMath0911.68138MaRDI QIDQ4222923
Publication date: 21 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#rabinovich
68Q60: Specification and verification (program logics, model checking, etc.)
03B05: Classical propositional logic
Related Items
Non-elementary lower bound for Propositional Duration Calculus, Star free expressions over the reals, Expressive completeness of duration calculus.