Theoretical Computer Science, Volume 119

Volume 119, Number 1 1993

Selected Papers of the 5th Soviet-French Symposium on Theoretical Computer Science, Methods and Tools for Compilation, and Program Development (Informatika'91), Grenoble, France, October 1991

Kablan Barbar: Attributed Tree Grammars. 3-22 BibTeX
Marc-Michel Corsini, Kaninda Musumbu: Type Inference in Prolog: A New Approach. 23-38 BibTeX
Philippe Devienne, Patrick Lebègue, Max Dauchet: Weighted Systems of Equations. 39-62 BibTeX
Alexander Ja. Dikovsky: On the Computational Complexity of Prolog Programs. 63-102 BibTeX
Walter Dosch: On a Generalized Product of Domains. 103-125 BibTeX
Zineb Habbas: A Compete Modal Proof for HAL: the Herbrand Agent Language. 127-143 BibTeX
Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko: Computations in APS. 145-171 BibTeX
V. A. Nepomniaschy, A. A. Sulimov: Problem-Oriented Verification System and its Application to Linear Algebra Programs. 173-185 BibTeX
Vladimir Yu. Sazonov: Hereditarily-Finite Sets, Data Bases and Polynomial-Time Computability. 187-214 BibTeX
Anatol Slissenko: On Fault Tolerance of Syntax. 215-222 BibTeX
Mars K. Valiev: Product 1 over 1-Universality of Some Propositional Logics of Concurrent Programs. 223-232 BibTeX

Volume 119, Number 2 1993

Miroslaw Kutylowski: Stack versus Sensitivity for One-Way Automata. 233-245 BibTeX
Alberto Apostolico, Andrzej Ehrenfeucht: Efficient Detection of Quasiperiodicities in Strings. 247-265 BibTeX
Jean-Camille Birget: Partial Orders on Words, Minimal Elements of Regular Languages and State Complexity. 267-291 BibTeX
Marius Zimand: If not Empty, NP - P is Topologically Large. 293-310 BibTeX
Walter Stromquist, Daniel Ullman: Sequential Compounds of Combinatorial Games. 311-321 BibTeX
David Wolfe: Snakes in Domineering Games. 323-329 BibTeX
Roberto Tamassia, Ioannis G. Tollis: Dynamic Reachability in Planar Digraphs with One Source and One Sink. 331-343 BibTeX
Bruce E. Litow, Philippe Dumas: Additive Cellular Automata and Algebraic Series. 345-354 BibTeX
B. John Oommen, David T. H. Ng: An Optimal Absorbing List Organization Strategy with Constant Memory Requirements. 355-361 BibTeX
Tao Jiang, Ming Li: On the Complexity of Learning Strings and Sequences. 363-371 BibTeX