Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
18
views
17
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,702
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Science – Theory and Applications
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
other
Author(s):
Manfred Kufleitner
,
Jan Philipp Wächter
Publication date
(Online):
May 31 2016
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
General Collective Intelligence Platforms and Hive Minds
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
On finite monoids having only trivial subgroups
M.P. Schützenberger
(1965)
0
comments
Cited
100
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Over words, two variables are as powerful as one quantifier alternation
Denis Therien
,
Thomas Wilke
(1998)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
DIAMONDS ARE FOREVER: THE VARIETY DA
PASCAL TESSON
,
DENIS THÉRIEN
(2002)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2016
Publication date (Online):
May 31 2016
Pages
: 237-250
DOI:
10.1007/978-3-319-34171-2_17
SO-VID:
d1120bd2-9215-4a8b-bfa9-a7a21addb57c
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
On High-Quality Synthesis
pp. 16
Sensitivity Versus Certificate Complexity of Boolean Functions
pp. 29
Algorithmic Decidability of Engel’s Property for Automaton Groups
pp. 41
The Next Whisky Bar
pp. 57
Parameterizing Edge Modification Problems Above Lower Bounds
pp. 73
Completing Partial Schedules for Open Shop with Unit Processing Times and Routing
pp. 88
Max-Closed Semilinear Constraint Satisfaction
pp. 102
Computing and Listing st-Paths in Public Transportation Networks
pp. 117
Compositional Design of Stochastic Timed Automata
pp. 131
Online Bounded Analysis
pp. 146
Affine Computation and Affine Automaton
pp. 161
On Approximating (Connected) 2-Edge Dominating Set by a Tree
pp. 177
Graph Editing to a Given Degree Sequence
pp. 192
Subclasses of Baxter Permutations Based on Pattern Avoidance
pp. 207
On Slepian–Wolf Theorem with Interaction
pp. 223
Level Two of the Quantifier Alternation Hierarchy over Infinite Words
pp. 237
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
pp. 251
Some Complete and Intermediate Polynomials in Algebraic Complexity Theory
pp. 266
Sums of Read-Once Formulas: How Many Summands Suffice?
pp. 280
Algorithmic Statistics: Normal Objects and Universal Models
pp. 294
Subquadratic Algorithms for Succinct Stable Matching
pp. 309
Depth-4 Identity Testing and Noether’s Normalization Lemma
pp. 324
Improved Approximation Algorithms for Min-Cost Connectivity Augmentation Problems
pp. 340
The Hardest Language for Conjunctive Grammars
pp. 352
Low-Rank Approximation of a Matrix: Novel Insights, New Progress, and Extensions
pp. 367
Representations of Analytic Functions and Weihrauch Degrees
pp. 382
On Expressive Power of Regular Expressions over Infinite Orders
pp. 394
Prediction of Infinite Words with Automata
pp. 409
Fourier Sparsity of GF(2) Polynomials
Similar content
3,702
First-Order Trotter Error from a Second-Order Perspective
Authors:
David Layden
The Weil-Petersson gradient flow of renormalized volume and 3-dimensional convex cores
Authors:
Martin Bridgeman
,
Jeffrey Brock
,
Kenneth Bromberg
O pensamento político de Éric Weil
Authors:
Mauro Cardoso Simões
See all similar
Cited by
1
Profinite topologies
Authors:
Alfredo Costa
,
Jorge Almeida
See all cited by