default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 23
Volume 23, 1983
- Chang-jie Tang, Yi-li Zhang:
The Limited Regular Languages. 1-10 - Andrzej Jankowski, Cecylia Rauszer:
Logical Foundation Approach to Users' Domain Restriction in Data Bases. 11-36 - Akira Nakamura, Hiroakira Ono:
Pictures of Functions and Their Acceptability by Automata. 37-48 - Stephan Heilbrunner:
A Metatheorem for Undecidable Properties of Formal Languages and its Application to LRR and LLR Grammars and Languages. 49-68 - Franz-Josef Brandenburg:
Uniformly Growing k-TH Power-Free Homomorphisms. 69-82 - Tom Head, Gabriel Thierrin, John Wilkinson:
DOL Schemes and the Periodicity of String Embeddings. 83-89 - Anton Nijholt
:
On Satisfying the LL-Iteration Theorem. 91-94 - Tat-hung Chan, Oscar H. Ibarra:
On the Finite-Valuedness Problem for Sequential Machines. 95-101 - Prakash V. Ramanan:
A Counterexample to Shyamasundar's Characterization of Pushdown Permuters. 103-105 - Erol Gelenbe:
Stationary Deterministic Flows in Discrete Systems I. 107-127 - Etsuji Tomita:
A Direct Branching Algorithm for Checking Equivalence of Strict Deterministic VS. LL(k) Grammars. 129-154 - Gerald S. Eisman:
On Depth in Edtol Languages. 155-169 - Grazia Lotti, Francesco Romani:
On the Asymptotic Complexity of Rectangular Matrix Multiplication. 171-185 - Ralph-Johan Back:
A Continuous Semantics for Unbounded Nondeterminism. 187-210 - James Finn, Karl J. Lieberherr:
Primality Testing and Factoring. 211-215 - Masako Takahashi, Hideki Yamasaki:
A Note on omega-Regular Languages. 217-225 - Karel Culík II, Jozef Gruska, Arto Salomaa:
On a Family of L Languages Resulting from Systolic Tree Automata. 231-242 - Tuvi Etzion, Michael Yoeli:
Super-Nets and their Hierarchy. 243-272 - Alberto Marchetti-Spaccamela, Marco Protasi:
The Largest Tree in a Random Graph. 273-286 - Rudolf Freund:
Real Functions and Numbers Defined by Turing Machines. 287-304 - Dan Gordon, Eliahu Shamir:
Computation of Recursive Functionals Using Minimal Initial Segments. 305-315 - Tsutomu Kamimura, Adrian Tang:
Kleene Chain Completeness and Fixedpoint Properties. 317-331 - Hugo Volger:
Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories. 333-337 - Colm Ó'Dúnlaing:
Undecidable questions related to Church-Rosser Thue systems. 339-345
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 2025-02-26 20:48 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:
