Ω-automaton - PDFSEARCH.IO - Document Search Engine

Ω-automaton
Results: 90

#	Item
41	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
42	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Formal methods Muller automaton Deterministic automaton Nondeterministic finite automaton Finite-state machine Alphabet Petri net Ω-automaton Automata theory Theoretical computer science Computer science
43	Recurrent Reachability Analysis in Regular Model Checking Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-09-22 08:03:38 Computer science Applied mathematics Tree automaton Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
44	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:28:09 Büchi automaton Regular language DFA minimization Finite-state machine Turing machine Deterministic automaton Ω-automaton Automata theory Theory of computation Theoretical computer science
45	Cost Functions and Value 1 problem in practice Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-12-18 04:04:55 Deterministic automaton Regular language Probabilistic automaton Mathematics Deterministic pushdown automaton Automata theory Applied mathematics Ω-automaton
46	Foundations of Software Technology and Theoretical Computer ScienceSubmission Quasi-Weak Cost Automata: A New Variant of Weakness∗ Denis Kuperberg1 , Michael Vanden Boom2 1 L IAFA /CNRS/Universit´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Mathematics Ω-automaton Büchi automaton Semiautomaton Alphabet Finite-state machine Muller automaton Automata theory Theoretical computer science Computer science
47	LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS DENIS KUPERBERG Liafa/CNRS/Université Paris 7, Denis Diderot, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-08 11:47:02 Linear temporal logic Temporal logic Mathematical logic Semigroup Theoretical computer science Semigroup theory Büchi automaton Inverse semigroup Ω-automaton Automata theory Mathematics Algebraic structures
48	Weighted Automata for Proving Termination of String Rewriting Johannes Waldmann Hochschule fu ¨r Technik, Wirtschaft und Kultur (FH) Leipzig Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2006-03-30 05:05:27 Mathematics Computer science Regular language Rewriting String Ω-automaton Formal languages Theoretical computer science Automata theory
49	Chapter 2 A Glimpse of Measure and Integration This chapter gives a quick but precise exposition of essentials of measure and integration so that an overall view of the subject is provided in good time. Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2013-10-18 07:14:45 Mathematical logic Boolean algebra Measure theory Sigma-algebra Probability space Ordinal number Borel set Ω-automaton Itō diffusion Mathematical analysis Probability theory Mathematics
50	Chapter 2 A Glimpse of Measure and Integration This chapter gives a quick but precise exposition of essentials of measure and integration so that an overall view of the subject is provided in good time. Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2014-05-26 04:51:49 Mathematical logic Boolean algebra Measure theory Sigma-algebra Probability space Ordinal number Borel set Ω-automaton Itō diffusion Mathematical analysis Probability theory Mathematics

UPDATE