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=1989
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Structural and behavioral equivalence relations in automata networks
Takashi Saito
,
Hidenosuke Nishio
Theoretical Computer Science
63
, 1989, pp. 223-237
On inefficient special cases of
NP
-complete problems
Ding-Zhu Du
,
Ronald V. Book
Theoretical Computer Science
63
, 1989, pp. 239-252
Translation of logic programs into functional fixpoint equations
Georges Gardarin
,
Irène Guessarian
,
Christophe de Maindreville
Theoretical Computer Science
63
, 1989, pp. 253-274
Fixed points in free process algebras, Part I
David B. Benson
,
Jerzy Tiuryn
Theoretical Computer Science
63
, 1989, pp. 275-294
Subgraph isomorphism for biconnected outerplanar graphs in cubic time
Andrzej Lingas
Theoretical Computer Science
63
, 1989, pp. 295-302
Equational logic of circular data type specification
Stephen L. Bloom
,
Zoltan Esik
Theoretical Computer Science
63
, 1989, pp. 303-331
Some combinatorial properties of the Thue-Morse sequence and a problem in semigroups
Aldo de Luca
,
Stefano Varricchio
Theoretical Computer Science
63
, 1989, pp. 333-348
Seiten
<
1
2
3
4
5
6