default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 44
Volume 44, 1986
- Peter Ritzmann:
A Fast Numerical Algorithm for the Composition of Power Series with Complex Coefficients. 1-16 - François Blanchard, Georges Hansel:
Systèmes Codés. 17-49 - Daniel Leivant:
Typing and Computational Properties of Lambda Expressions. 51-68 - Louis E. Rosier, Hsu-Chun Yen:
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata. 69-105 - François Blanchard, Servet Martínez A.:
Points d'Orbite Dense de Certains Langages de Mots Infinis. 107-110 - Jik H. Chang, Oscar H. Ibarra, Michael A. Palis, Bala Ravikumar:
On Pebble Automata. 111-121 - Etienne Paul:
On Solving the Equality Problem in Theories Defined by Horn Clauses. 127-153 - Ernst L. Leiss:
Generalized Language Equations with Multiple Solutions. 155-174 - Yuji Kobayashi:
Repetition-Free Words. 175-197 - Volker Diekert:
Complete Semi-Thue Systems for Abelian Groups. 199-208 - Tuvi Etzion:
An Algorithm for Generating Shift-Register Cycles. 209-224 - Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda:
On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages. 225-228 - Friedrich J. Urbanek:
On Greibach Normal Form Construction. 229-236 - Paliath Narendran:
On the Equivalence Problem for Regular Thue Systems. 237-245 - Paul E. S. Dunne
:
The Complexity of Central Slice Functions. 247-257 - Masako Takahashi:
The Greatest Fixed-Points and Rational Omega-Tree Languages. 259-274 - Hans-Jörg Kreowski, Anne Wilharm:
Net Processes Correspond to Derivation Processes in Graph Grammars. 275-305 - William F. Dowling, Jean H. Gallier:
Continuation Semantics for Flowgraph Equations. 307-331 - Ebbe Thue Poulsen:
The Ehrenfeucht Conjecture: An Algebra-Framework for Its Proof. 333-339
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-09-19 23:32 CEST 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:
