default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformatique Théorique et Applications, Volume 27
Volume 27, Number 1, 1993
- John Higgins, Douglas M. Campbell:
Prescribed Ultrametrics. 1-5 - Andrzej Ehrenfeucht, Hendrik Jan Hoogeboom, Grzegorz Rozenberg:
On the Structure of Recognizable Languages of Dependence Graphs. 7-22 - Didier Caucal:
A Fast Algorithm to Decide on the Equivalence of Stateless DPDA. 23-48 - Franz-Josef Brandenburg, Jürgen Dassow:
Efficient Reductions of Picture Words. 49-56 - Alexandru Mateescu, Arto Salomaa:
PCP-Prime Words and Primality Types. 57-70 - Victor Mitrana
:
On Languages Satisfying "Interchange Lemma". 71-79
Volume 27, Number 2, 1993
- George K. Georgakopoulos, Andreas Stafylopatis:
An Approach to Parallel Algorithm Design. 85-95 - Véronique Terrier:
Real Time Recognition with Cellular Automata: A Meaningful Example. 97-120 - Philippe H. Glesser:
Majoration de la norme des facteurs d'un polynôme: cas où toutes les racines du polynôme sont réelles. 121-134 - Alberto Bertoni, Massimiliano Goldwurm:
On Ranking 1-Way Finitely Ambiguous NL Languages and #P1-Complete Census Functions. 135-148 - Paolo Massazza:
Holonomic Functions and Their Relation to Linearly Constrained Languages. 149-161 - M. Ph. Saux Picart:
On Searching for Roots of a Polynomial in a Circular Annulus. 162-172
Volume 27, Number 3, 1993
- Michele Angelaccio, Marco Protasi:
Limiting Characterizations of Low Level Space Complexity Classes. 175-182 - Joachim Biskup, Pratul Dublish:
Objects in Relational Database Schemes with Functional Inclusion, and Exclusion Dependencies. 183-219 - Erik Poll, C. Hemerik, Huub M. M. ten Eikelder:
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. 221-260 - Helen Cameron, Derick Wood:
Pm Numbers, Ambiguity, and Regularity. 261-275
Volume 27, Number 4, 1993
- V. Diciunas:
On the Positive and the Inversion Complexity of Boolean Functions. 283-293 - Jyrki Katajainen, Christos Levcopoulos, Ola Petersson:
Space-Efficient Parallel Merging. 295-310 - A. Rudnicki:
An Economical Transformation of Graph Grammars. 311-325 - Andreas Flögel, Hans Kleine Büning, Theodor Lettmann:
On the Restricted Equivalence Subclasses of Propositional Logic. 327-340 - Jean Marcel Pallo:
An Algorithm to Compute the Möbius Function of the Rotation Lattice of Binary Trees. 341-348 - Viliam Geffert:
Sublogarithmic Sigma2-Space is not Closed under Complement and Other Separation Results. 349-366 - Foto N. Afrati, Andreas Stafylopatis:
Performance Considerations on a Random Graph Model for Parallel Processing. 367-388
Volume 27, Number 5, 1993
- Krzysztof Diks, Andrzej Pelc:
Fast Diagnosis of Multiprocessor Systems with Random Faults. 391-401 - Meena Mahajan, Kamala Krithivasan:
Language Classes Defined by Time-Bounded Relativised Cellular Automata. 403-432 - Andrzej Ehrenfeucht, Paulien ten Pas, Grzegorz Rozenberg:
Combinatorial Properties of Texts. 433-464 - A. Bel Hala:
Congestion optimale du plongement de l'hypercube H(n) dans la chaîne P(2n). 465-481
Volume 27, Number 6, 1993
- Gianfranco Mascari, F. Pucci:
Autonomous Posets and Quantales. 483-501 - Wafaa Khalil, Robert F. C. Walters:
An Imperative Language Based on Distributive Categories II. 503-522 - Mikael Rittri:
Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism. 523-540 - Uwe Trier:
On the Average Number of Registers Needed to Evaluate a Special Class of Backtrack Trees. 541-554 - Anne Bergeron:
A Unified Approach to Control Problems in Discrete Event Processes. 555-573
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 2026-03-05 22:30 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:
