Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Muller automaton

In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Quantitative aspects of systems like consumption of resources, output of goods, or reliability can be modeled by weighted… Expand
2007
2007
Children with FASD typically display deficits on cognitive measures of executive functioning, but the goal of this study was to… Expand
  • table 1
  • figure 1
  • figure 2
Highly Cited
2006
Highly Cited
2006
1. The acquisition of syntax in Romance languages (by Torrens, Vincent) 2. The production of SE and SELF anaphors in Spanish and… Expand
Highly Cited
2006
Highly Cited
2006
1. Preface 2. Introduction (by Lefebvre, Claire) 3. Links between SLA and Creole studies: Past and present (by Siegel, Jeff) 4. I… Expand
Highly Cited
2003
Highly Cited
2003
We conducted isothermal (15°C) batch culture experiments with the coccolithophorid Emiliania huxleyi (strain NEPCC 55a) to… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
1997
1997
For ω-languages several notions of syntactic congruence were defined. The present paper investigates relationships between the so… Expand
Highly Cited
1995
Highly Cited
1995
Abstract Although many sources of sexually specific chemical signals have been identified, few attempts have been made to… Expand
Highly Cited
1994
Highly Cited
1994
Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994) 183-235. We propose timed (j&e… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1988
Highly Cited
1988
  • S. Safra
  • [Proceedings ] 29th Annual Symposium on…
  • 1988
  • Corpus ID: 206559211
Automata on infinite words were introduced by J.R. Buchi (1962) in order to give a decision procedure for S1S, the monadic second… Expand
Highly Cited
1980
Highly Cited
1980
This palynological study is based on 71 outcrop and core samples of the Jackson Group and adjacent strata from the type area of… Expand
  • table 1
  • table 1
  • table 1
  • figure 2
  • figure 3