ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
31
views
23
references
Top references
cited by
17
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,395
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Automata, Languages and Programming
Counting in Trees for Free
other
Author(s):
Helmut Seidl
,
Thomas Schwentick
,
Anca Muscholl
,
Peter Habermehl
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
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
AfricArXiv Preprints
Most cited references
23
Record
: found
Abstract
: not found
Article
: not found
On Context-Free Languages
Rohit J. Parikh
(1966)
0
comments
Cited
89
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Word problems requiring exponential time(Preliminary Report)
L. J. Stockmeyer
,
A. R. Meyer
(1973)
0
comments
Cited
85
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Semigroups, Presburger formulas, and languages
Edwin Spanier
,
Seymour Ginsburg
(1966)
0
comments
Cited
59
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 1136-1149
DOI:
10.1007/978-3-540-27836-8_94
SO-VID:
7e045a36-f34e-4840-91e5-565a9d0d7f28
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 15
Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input
pp. 408
Solving Two-Variable Word Equations
pp. 555
Bounded Fixed-Parameter Tractability and log2 n Nondeterministic Bits
pp. 72
Algorithms for Multi-product Pricing
pp. 919
Complexity of Pseudoknot Prediction in Simple Models
pp. 97
Linear and Branching Metrics for Quantitative Transition Systems
pp. 122
Optimal Reachability for Weighted Timed Games
pp. 183
Group Spreading: A Protocol for Provably Secure Distributed Name Service
pp. 196
Further Improvements in Competitive Guarantees for QoS Buffering
pp. 222
Approximating Longest Directed Paths and Cycles
pp. 281
Model Checking with Multi-valued Logics
pp. 307
Comparing Recursion, Replication, and Iteration in Process Calculi
pp. 345
Coordination Mechanisms
pp. 371
Efficient Computation of Equilibrium Prices for Markets with Leontief Utilities
pp. 481
Quantum Query Complexity of Some Graph Problems
pp. 531
On Graph Problems in a Semi-streaming Model
pp. 568
Exact (Exponential) Algorithms for Treewidth and Minimum Fill-In
pp. 618
Greedy Regular Expression Matching
pp. 846
A Faster Algorithm for Minimum Cycle Basis of Graphs
pp. 1006
Succinct Representations of Functions
pp. 1016
A Note on Karr’s Algorithm
pp. 1041
Efficient Consistency Proofs for Generalized Queries on a Committed Database
pp. 1136
Counting in Trees for Free
pp. 1150
Games with Winning Conditions of High Borel Complexity
pp. 1227
A New Algorithm for Optimal Constraint Satisfaction and Its Implications
Similar content
2,395
On Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach
Authors:
Christine T. Cheng
,
Nikhil Devanur
,
V. Arvind
Conceptual Correlates of Counting: Children’s Spontaneous Matching and Tracking of Large Sets Reflects Their Knowledge of the Cardinal Principle
Authors:
Anna Shusterman
,
Pierina Cheung
,
Jessica Taggart
…
Influence of preventive dental treatment on mutans streptococci counts in patients undergoing head and neck radiotherapy
Authors:
Lívia Buzati Meca
,
Fátima Souza
,
Helio Tanimoto
…
See all similar
Cited by
17
On the Complexity of Equational Horn Clauses
Authors:
Kumar Verma
,
Helmut Seidl
,
Thomas Schwentick
Streaming Tree Transducers
Authors:
Rajeev Alur
,
Loris D’Antoni
Presburger Modal Logic Is PSPACE-Complete
Authors:
Stephane Demri
,
Denis Lugiez
See all cited by