Satisability 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 - Alternating finite automaton - Document - PDFSEARCH.IO

First Page	Meta Content
	Satisability 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 Country Germany / / Currency pence / / IndustryTerm labeled transition systems / / Person Bernd Finkbeiner Universit / Rabin / Bran hing Stru / / Position player / king / model / / Product Pentax K-x Digital Camera / / PublishedMedium Complex Systems / / SocialTag Æ Ω-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 Universitat des Saarlandes, 66123 Saarbru ken, Germany fs hewejfinkbeinerg s.uni-sb.deAdd to Reading List