Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=113
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Average-case analysis of unification algorithms
Luc Albert
,
Rafael Casas
,
François Fages
Theoretical Computer Science
113
, 1993, pp. 3-34
On the concatenation of infinite traces
Volker Diekert
Theoretical Computer Science
113
, 1993, pp. 35-54
Interactive proof systems and alternating time-space complexity
Lance Fortnow
,
Carsten Lund
Theoretical Computer Science
113
, 1993, pp. 55-73
On the power of several queues
Martin Hühne
Theoretical Computer Science
113
, 1993, pp. 75-91
Testing for unboundedness of fifo channels
Thierry Jéron
,
Claude Jard
Theoretical Computer Science
113
, 1993, pp. 93-117
On weakly confluent monadic string-rewriting systems
K. Madlener
,
P. Narendran
,
F. Otto
,
L. Zhang
Theoretical Computer Science
113
, 1993, pp. 119-165
Probabilistic polynomials,
AC^0
functions, and the polynomial-time hierarchy
Jun Tarui
Theoretical Computer Science
113
, 1993, pp. 167-183
Computability on computable metric spaces
Klaus Weihrauch
Theoretical Computer Science
113
, 1993, pp. 191-210
Analogy calculus
Bo Yi
,
Jiafu Xu
Theoretical Computer Science
113
, 1993, pp. 211-230
A true concurrency model of CCS semantics
Lu Ruqian
Theoretical Computer Science
113
, 1993, pp. 231-258
Analogical program derivation based on type theory
Jianguo Lu
,
Jiafu Xu
Theoretical Computer Science
113
, 1993, pp. 259-272
A theory of sequentiality
Antonio Bucciarelli
,
Thomas Ehrhard
Theoretical Computer Science
113
, 1993, pp. 273-291
Modular specification of process algebras
Rob van Glabbeck
,
Frits W. Vaandrager
Theoretical Computer Science
113
, 1993, pp. 293-348
Generating plans in linear logic. I. Actions as proofs
M. Masseron
,
C. Tollu
,
J. Vauzeilles
Theoretical Computer Science
113
, 1993, pp. 349-370
Generating plans in linear logic. II. A geometry of conjunctive actions
M. Masseron
Theoretical Computer Science
113
, 1993, pp. 371-375