Back to Results
First PageMeta Content
Æ / Ω-automaton / Linguistics / Notation / Automata theory / Centimetre–gram–second system of units / Metrology


Satis ability and Finite Model Property for the Alternating-Time -Cal ulus? Sven S hewe and Bernd Finkbeiner Universitat des Saarlandes, 66123 Saarbru ken, Germany fs hewejfinkbeinerg s.uni-sb.de
Add to Reading List

Document Date: 2009-04-30 04:31:43

Open Document

File Size: 225,96 KB

Share Result on Facebook
UPDATE