31![](https://www.pdfsearch.io/img/fc4e3fe5ce1a5e65a67b488e370fc788.jpg) | Add to Reading ListSource URL: www.buchi-umai.jpLanguage: Japanese - Date: 2014-08-31 18:26:34
|
---|
32![A Sharp Existence Theorem for Vortices in the Theory of Branes1 Xiaosen Han2 arXiv:1110.1423v2 [math-ph] 18 JunInstitute of Contemporary Mathematics A Sharp Existence Theorem for Vortices in the Theory of Branes1 Xiaosen Han2 arXiv:1110.1423v2 [math-ph] 18 JunInstitute of Contemporary Mathematics](https://www.pdfsearch.io/img/980baf266b7f6c1b79165ea5c884f184.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2013-06-19 02:20:50
|
---|
33![Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email:](https://www.pdfsearch.io/img/b51bd9ea2e2e3d3918b5a0ec8ff4f3c6.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2014-06-27 10:56:07
|
---|
34![How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1](https://www.pdfsearch.io/img/7b4c5b0b1be0441df1ba8accebe037be.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2014-06-27 10:56:07
|
---|
35![¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu ¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu](https://www.pdfsearch.io/img/9ae18280c048fe3a900d1fccc80e87c9.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2009-01-15 18:34:20
|
---|
36![¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu ¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu](https://www.pdfsearch.io/img/da4c6013e3f9ea53a533dc4c90239a86.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2010-01-07 03:37:15
|
---|
37![BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting](https://www.pdfsearch.io/img/7bced064c572e90340b34130aceb3b89.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2002-01-07 08:27:59
|
---|
38![¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty ¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty](https://www.pdfsearch.io/img/62445acbadfeff8e4c41347033036816.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2013-07-18 21:05:22
|
---|
39![On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ? On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ?](https://www.pdfsearch.io/img/d7db23d79c49c908c1c9753dbd730732.jpg) | Add to Reading ListSource URL: www.mimuw.edu.plLanguage: English - Date: 2008-12-09 11:42:04
|
---|
40![Ramsey-Based Analysis of Parity Automata Oliver Friedmann1 and Martin Lange2 1 Dept. of Computer Science, Ludwig-Maximilians-University of Munich, Germany School of Electr. Eng. and Computer Science, University of Kassel Ramsey-Based Analysis of Parity Automata Oliver Friedmann1 and Martin Lange2 1 Dept. of Computer Science, Ludwig-Maximilians-University of Munich, Germany School of Electr. Eng. and Computer Science, University of Kassel](https://www.pdfsearch.io/img/4ff1bdf3ee05714924b7f10f6798a7e6.jpg) | Add to Reading ListSource URL: files.oliverfriedmann.deLanguage: English - Date: 2012-02-10 07:43:13
|
---|