Ω-automaton - PDFSEARCH.IO - Document Search Engine

Ω-automaton
Results: 90

#	Item
71	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
72	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:06:58 Ω-automaton Symbol Automata theory Quantum information theory
73	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science
74	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-02-27 06:28:19 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
75	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
76	“Mimetic Finite-Difference Method for Diffusion Equations on Polyhedral Meshes with Mixed Cells” Add to Reading List Source URL: cnls.lanl.gov Language: English - Date: 2014-09-24 19:03:53 Ordinal number Vector space Connection Ω-automaton Algebra Mathematics Group theory
77	Finite-State Registered Automata for Non-Concatenative Morphology Yael Cohen-Sygal∗ Shuly Wintner† Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2005-10-10 11:02:27 Models of computation Computer science Applied mathematics Finite state transducer Finite-state machine Regular language Circumfix Ω-automaton Automata theory Formal languages Theoretical computer science
78	Checking Finite Traces using Alternating Automata ∗ Bernd Finkbeiner and Henny Sipma Computer Science Department, Stanford University Stanford, CA[removed]Abstract. Alternating automata have been commonly used as a basi Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Logic Model theory Theoretical computer science Linear temporal logic Temporal logic Ω-automaton Model checking Interpretation Structure Automata theory Formal languages Mathematics
79	Lester L. Helms DIFFUSIONS WITH REFLECTION AND ABSORPTION April 24, 2011 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2011-04-24 16:01:14 Functional analysis Semigroup theory Stochastic differential equations Hille–Yosida theorem Infinitesimal generator Quasicontraction semigroup Itō diffusion Ω-automaton Mathematical analysis Abstract algebra Mathematics
80	Dependency Tree Automata Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-05 09:54:02 Alternating tree automata Nested word Ω-automaton Tree automaton Alternating finite automaton Automata theory Theoretical computer science Computer science

UPDATE