Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,489,282 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
10 relations
Automata construction
Automata theory
Büchi automaton
Computer scientist
Expand
Broader (1)
Model checking
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
PARENTAL RATINGS OF CHILDREN WITH FETAL ALCOHOL SPECTRUM DISORDER ON THE BEHAVIOR RATING INVENTORY OF EXECUTIVE FUNCTION (BRIEF)
C. Rasmussen
,
R. McAuley
,
G. Andrew
2007
Corpus ID: 9519132
Children with FASD typically display deficits on cognitive measures of executive functioning, but the goal of this study was to…
Expand
Highly Cited
2006
Highly Cited
2006
The acquisition of syntax in Romance languages
Vincent Torrens
,
L. Escobar
2006
Corpus ID: 59757706
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
2003
Highly Cited
2003
Physiological impacts on alkenone paleothermometry
F. Prahl
,
M. A. Sparrow
,
G. Wolfe
2003
Corpus ID: 39776990
We conducted isothermal (15°C) batch culture experiments with the coccolithophorid Emiliania huxleyi (strain NEPCC 55a) to…
Expand
Review
2002
Review
2002
FOREIGN DIRECT INVESTMENT IN SOUTHERN AFRICA:DETERMINANTS, CHARACTERISTICS AND IMPLICATIONS FOR ECONOMIC GROWTH AND POVERTY ALLEVIATION
C. Jenkins
,
L. Thomas
2002
Corpus ID: 2329713
Acknowledgements This research has been funded by the UK Department for International Development and is part of a programme of…
Expand
Highly Cited
1994
Highly Cited
1994
A Theory of Timed Automata
R. Alur
,
D. Dill
Theor. Comput. Sci.
1994
Corpus ID: 18129339
Review
1990
Review
1990
Automata on Infinite Objects
W. Thomas
Handbook of Theoretical Computer Science, Volume…
1990
Corpus ID: 33060294
Highly Cited
1988
Highly Cited
1988
On the complexity of omega -automata
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
Review
1982
Review
1982
COMMUNITY STUDIES IN POLLINATION ECOLOGY IN THE HIGH TEMPERATE ANDES OF CENTRAL CHILE. I. POLLINATION MECHANISMS AND ALTITUDINAL VARIATION
M. Arroyo
,
R. Primack
,
J. Armesto
1982
Corpus ID: 84653617
Pollination mechanisms and pollinators are reported for a total of 137 species (75% of the non-abiotically pollinated flora) as…
Expand
1981
1981
A generative approach to the phonology of Bahasa Indonesia
Hans Lapoliwa
1981
Corpus ID: 60750978
This thesis is a transformational generative account of the phonology of Bahasa Indonesia ('Indonesian (language)'), the national…
Expand
Highly Cited
1980
Highly Cited
1980
Sporomorphs from the Jackson Group (upper Eocene) and adjacent strata of Mississippi and western Alabama
N. O. Frederiksen
1980
Corpus ID: 126582365
This palynological study is based on 71 outcrop and core samples of the Jackson Group and adjacent strata from the type area of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE