Buchi - PDFSEARCH.IO - Document Search Engine

Buchi
Results: 132

#	Item
51	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science
52	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
53	Toward a structure theory of ω-regular trace languages Namit Chaturvedi LaBRI, Bordeaux 11 Mar. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-03-17 08:01:44 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
54	Toward a structure theory of ω-regular trace languages Namit Chaturvedi Frontiers of Recognizability 29 Apr. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-30 05:42:23 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
55	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
56	buchi COMMOC E&Y EL Techno Inc. FIVE - GOKAYAMA TOYAMA JAPAN ICHIRO ISHINOMAKI LABORATORY Add to Reading List Source URL: www.jetro.go.jp Language: English - Date: 2015-03-20 11:35:19
57	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 2, FEBRUARYFeedback Can Reduce the Specification Complexity of Motor Programs Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-10 22:28:54 Computer science Formal methods Finite-state machine Nondeterministic finite automaton State Büchi automaton Automata theory Models of computation Theoretical computer science
58	SiS so kheren taj so si lengi buchi E themesko Institucialno bordo si jekh themesko organo savi si leski buchi te lel sama/paznja pe terne khatar ebersh kas si socijalni problemura taj vi pe maj bare/phure kas si Add to Reading List Source URL: www.stat-inst.se Language: Slovenian - Date: 2010-04-13 11:37:58
59	Noname manuscript No. (will be inserted by the editor) Synchronizing Relations on Words Diego Figueira · Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-26 07:54:43 Computer science Applied mathematics Regular language Tree automaton Complementation of Büchi automaton Ω-automaton Automata theory Formal languages Theoretical computer science
60	Contents Acknowledgments, ix Prolepsis. Twelve Telling Tales by African Women, 1 Chikwenye Okonjo Ogunyemi Add to Reading List Source URL: www.ohioswallow.com Language: English - Date: 2009-08-26 09:41:57 Sindiwe Magona Jita people Aminata Tagoe Mariama Bâ Africa Buchi Emecheta Sociologists

UPDATE