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
63
views
0
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,164
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Automata, Languages and Programming
other
Editor(s):
Josep Díaz
,
Juhani Karhumäki
,
Arto Lepistö
,
Donald Sannella
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
Smart Contracts Programming Languages
Author and book information
Book
ISBN (Print):
978-3-540-22849-3
ISBN (Electronic):
978-3-540-27836-8
Publication date (Print):
2004
DOI:
10.1007/b99859
SO-VID:
abd1fad6-be63-423a-9913-ec608a8a1e7f
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
3,164
Inference of Event-Recording Automata Using Timed Decision Trees
Authors:
Olga Grinchtein
,
Bengt. Jonsson
,
Paul Pettersson
Control of cellular automata
Authors:
Raul Rechtman
,
Franco Bagnoli
,
Samira El Yacoubi
On real-time cellular automata and trellis automata
Authors:
C. Choffrut
,
K. Čulík
See all similar
Cited by
1
Security in Wireless Sensor Networks
Authors:
Nidal Nasser
,
Tarek El Salti
,
Sk Md. Mizanur Rahman
See all cited by