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 YEAR=1993
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On D0L systems with immigration
Juha Honkala
Theoretical Computer Science
120
(2), 1993, pp. 229-245
Separating
k
-separated eNCE graph languages
Changwook Kim
,
Dong Hoon Lee
Theoretical Computer Science
120
(2), 1993, pp. 247-259
An optimal distributed algorithm for recognizing mesh-connected networks
Rajanarayanan Subbiah
,
Sitharama S. Iyengar
,
Sridhar Radhakrishnan
,
R.L. Kashyap
Theoretical Computer Science
120
(2), 1993, pp. 261-278
On symmetric differences of NP-hard sets with weakly P-selective sets
Bin Fu
,
Hong-zhou Li
Theoretical Computer Science
120
(2), 1993, pp. 279-291
Closure properties of slender languages
Gheorghe Păun
,
Arto Salomaa
Theoretical Computer Science
120
(2), 1993, pp. 293-301
Parallel on-line parsing in constant time per word
Klaas Sikkel
Theoretical Computer Science
120
(2), 1993, pp. 303-310
On space-efficient algorithms for certain NP-complete problems
A. Ferreira
Theoretical Computer Science
120
(2), 1993, pp. 311-315
Attributed tree grammars
Kablan Barbar
Theoretical Computer Science
119
(1), 1993, pp. 3-22
Type inference in Prolog: a new approach
M.-M. Corsini
,
K. Musumbu
Theoretical Computer Science
119
(1), 1993, pp. 23-38
Weighted systems of equations
Philippe Devienne
,
Patrick Lebègue
,
Max Dauchet
Theoretical Computer Science
119
(1), 1993, pp. 39-62
On the computational complexity of Prolog programs
A.Ja. Dikovsky
Theoretical Computer Science
119
(1), 1993, pp. 63-102
On a generalized product for domains
Walter Dosch
Theoretical Computer Science
119
(1), 1993, pp. 103-125
A complete modal proof system for HAL: the Herbrand agent language
Zineb Habbas
Theoretical Computer Science
119
(1), 1993, pp. 127-143
Computations in APS
A.A. Letichevsky
,
J.V. Kapitonova
,
S.V. Konozenko
Theoretical Computer Science
119
(1), 1993, pp. 145-171
Problem-oriented verification system and its application to linear algebra programs
V.A. Nepomniaschy
,
A.A. Sulimov
Theoretical Computer Science
119
(1), 1993, pp. 173-185
Hereditarily-finite sets, data bases and polynomial-time computability
Vladimir Yu. Sazonov
Theoretical Computer Science
119
(1), 1993, pp. 187-214
On fault tolerance of syntax
A.O. Slissenko
Theoretical Computer Science
119
(1), 1993, pp. 215-222
\Pi^1_1
-universality of some propositional logics of concurrent programs
M.K. Valiev
Theoretical Computer Science
119
(1), 1993, pp. 223-232
Stack versus sensitivity for one-way automata
Mirosƚaw Kutyƚowski
Theoretical Computer Science
119
(2), 1993, pp. 233-245
Efficient detection of quasiperiodicities in strings
Alberto Apostolico
,
Andrzej Ehrenfeucht
Theoretical Computer Science
119
(2), 1993, pp. 247-265
Partial orders on words, minimal elements of regular languages, and state complexity
Jean-Camille Birget
Theoretical Computer Science
119
(2), 1993, pp. 267-291
If not empty,
NP - P
is topologically large
Marius Zimand
Theoretical Computer Science
119
(2), 1993, pp. 293-310
Sequential compounds of combinatorial games
Walter Stromquist
,
Daniel Ullman
Theoretical Computer Science
119
(2), 1993, pp. 311-321
Snakes in domineering games
David Wolfe
Theoretical Computer Science
119
(2), 1993, pp. 323-329
Dynamic reachability in planar digraphs with one source and one sink
Roberto Tamassia
,
Ioannis G. Tollis
Theoretical Computer Science
119
(2), 1993, pp. 331-343
Seiten
<
1
2
3
4
5
6
7
8
9
10
>