Theoretical Computer Science, Volume 95

Volume 95, Number 1, 1992

Victor Vianu, Gottfried Vossen:
Conceptual Level Concurrency Control of Relational Update Transactions. 1-42
Laura Giordano, Alberto Martelli, Gianfranco Rossi:
Extending Horn Clause Logic with Implication Goals. 43-74
Ildikó Sain:
Temporal Logics Need Their Clocks. 75-95
Setsuo Arikawa, Takeshi Shinohara, Akihiro Yamamoto:
Learning Elementary Formal Systems. 97-113
Gianluigi Bellin, Jussi Ketonen:
A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. 115-142
Bart Jacobs, Ines Margaria, Maddalena Zacchi:
Filter Models with Polymorphic Types. 143-148
Sylviane R. Schwer:
Fine Covers of a VAS Language. 159-168
Joffroy Beauquier:
Two Distributed Problems Involving Byzantine Processes. 169-185

Jean Moulin Ollagnier:
Proof of Dejean's Conjecture for Alphabets with 5, 6, 7, 8, 9, 10 and 11 Letters. 187-205
Patrice Quinton, Yves Robert:
Systolic Convolution of Arithmetic Functions. 207-229
Yuval Rabani, Zvi Galil:
On the Space Complexity of Some Algorithms for Sequence Comparison. 231-244
Giorgio Ausiello, Giuseppe F. Italiano, Alberto Marchetti-Spaccamela, Umberto Nanni:
On-Line Computation of Minimal and Maximal Length Paths. 245-261
Shuhua Zhang:
Polynomial-Time Algorithms for Testing Strong Isomorphism and Computing the Automorphism Group of R-Strongly Connected Automata. 263-277
Laurent Pierre:
Rational Indexes of Generators of the Cone of Context-Free Languages. 279-305
Joel Spencer:
Ulam's Searching Game with a Fixed Number of Lies. 307-321
Selim G. Akl, Michel Cosnard, Afonso Ferreira:
Data-Movement-Intensive Problems: Two Folk Theorems in Parallel Computation Revisited. 323-337
Priti Shankar, B. S. Adiga:
Corrigendum: A Graph-Based Regularity Test for Deterministic Context-Free Languages. 339-340

Last update Wed May 22 18:51:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page