default search action
Theoretical Computer Science, Volume 112
Volume 112, Number 1, 1993
- Ryszard Janicki, Maciej Koutny:
Structure of Concurrency. 5-52 - Yellamraju V. Srinivas:
A Sheaf-Theoretic Approach to Pattern Matching and Related Problems. 53-97 - Carolyn L. Talcott:
A Theory of Binding Structures and Applications to Rewriting. 99-143 - Muffy Thomas
, Phil Watson:
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. 145-185
Volume 112, Number 2, 1993
- Thomas Herbst, Richard M. Thomas:
Group Presentations, Formal Languages and Characterizations of One-Counter Groups. 187-213 - Richard D. Bourgin, Sally E. Howe:
Shortest Curves in Planar Regions with Curved Boundary. 215-253 - Mitsunori Ogiwara
On Sparse Hard Sets for Counting Classes. 255-275 - Erzsébet Csuhaj-Varjú, Alica Kelemenová:
Descriptional Complexity of Context-Free Grammar Forms. 277-289 - Carl Sturtivant
The Computational Efficacy of Finite-Field Arithmetic. 291-309 - Jean Néraud
Deciding Whether a Finite Set of Words has Rank at Most Two. 311-337 - Jean-Daniel Boissonnat, Monique Teillaud:
On the Randomized Construction of the Delaunay Tree. 339-354 - Javed A. Aslam, Aditi Dhagat:
On-Line Algorithms for 2-Coloring Hypergraphs Via Chip Games. 355-369 - Aviezri S. Fraenkel, Edward R. Scheinerman, Daniel Ullman:
Undirected Edge Geography. 371-381 - Cristian Calude
Note on the Topological Structure of Random Strings. 383-390 - Oscar H. Ibarra, Nicholas Q. Trân:
A Note on Simple Programs with Two Variables. 391-397 - Ivan Korec:
Irrational Speeds of Configurations Growth in Generalized Pascal Triangles. 399-412 - Jerzy Skurczynski:
The Borel Hierarchy is Infinite in the Class of Regular Sets of Trees. 413-418 - Ondrej Sýkora, Imrich Vrto:
Edge Separators for Graphs of Bounded Genus with Applications. 419-429
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: