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=J. Comput.~Syst.~Sci. AND YEAR=1992
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Discrete-time versus continuous-time models of neural networks
Xin Wang
,
Edward K. Blum
Journal of Computer and System Sciences
45
, 1992, pp. 1-19
Feedforward nets for interpolation and classification
Eduardo D. Sontag
Journal of Computer and System Sciences
45
, 1992, pp. 20-48
An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
Furio Honsell
,
Simonetta Ronchi della Rocca
Journal of Computer and System Sciences
45
, 1992, pp. 49-75
The powerset algebra as a natural tool to handle nested database relations
Marc Gyssens
,
Dirk van Gucht
Journal of Computer and System Sciences
45
, 1992, pp. 76-103
On the time-complexity of broadcast in multi-hop radio networks: An exponential gap between determinism and randomization
Reuven Bar-Yehuda
,
Oded Goldreich
,
Alon Itai
Journal of Computer and System Sciences
45
, 1992, pp. 104-126
Using the Hamiltonian path operator to capture
NP
Iain A. Stewart
Journal of Computer and System Sciences
45
, 1992, pp. 127-151
Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations
Jean-Camille Birget
Journal of Computer and System Sciences
45
, 1992, pp. 154-179
Lower bounds on the length of universal traversal sequences
Allan Borodin
,
Walter L. Ruzzo
,
Martin Tompa
Journal of Computer and System Sciences
45
, 1992, pp. 180-203
Multiparty protocols, pseudorandom generators for logspace, and time-space trade-offs
László Babai
,
Noam Nisan
,
Márió Szegedy
Journal of Computer and System Sciences
45
, 1992, pp. 204-232
A new fixed point approach for stable networks and stable marriages
Tomás Feder
Journal of Computer and System Sciences
45
, 1992, pp. 233-284
Minimum-complexity pairing functions
Kenneth W. Regan
Journal of Computer and System Sciences
45
, 1992, pp. 285-295
Trade-offs between communication and space
Tak Lam
,
Prasoon Tiwari
,
Martin Tompa
Journal of Computer and System Sciences
45
, 1992, pp. 296-315
Closure of varieties of languages under products with counter
Pascal Weil
Journal of Computer and System Sciences
45
, 1992, pp. 316-339
Embedding grids into hypercubes
Said Bettayeb
,
Zevi Miller
,
I. Hal Sudborough
Journal of Computer and System Sciences
45
, 1992, pp. 340-366
Foreground automata
Ian F. Carlstrom
Journal of Computer and System Sciences
45
, 1992, pp. 367-384
Nondiamond theorems for polynomial time reducibility
Rod Downey
Journal of Computer and System Sciences
45
, 1992, pp. 385-395
Models of a
K
-rational identity system
Daniel Krob
Journal of Computer and System Sciences
45
, 1992, pp. 396-434
Design of desirable relational database schemes
Li-Yan Yuan
,
Z. Meral Ozsoyoglu
Journal of Computer and System Sciences
45
, 1992, pp. 435-470
Computing with discrete multi-valued neurons
Zoran Obradovic
,
Ian Parberry
Journal of Computer and System Sciences
45
, 1992, pp. 471-492
Some investigations on FCFS scheduling in hard real time applications
U. Schmid
,
J. Blieberger
Journal of Computer and System Sciences
45
, 1992, pp. 493-512
Connection-trap-free database schemes
Edward P.F. Chan
,
Paolo Atzeni
Journal of Computer and System Sciences
44
, 1992, pp. 1-22
Contraction algebras and unification of (infinite) terms
Răzvan Diaconescu
Journal of Computer and System Sciences
44
, 1992, pp. 23-42
Parallel restructuring and evaluation of expressions
D.E. Muller
,
F.P. Preparata
Journal of Computer and System Sciences
44
, 1992, pp. 43-62
The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems
T. Lengauer
,
K.W. Wagner
Journal of Computer and System Sciences
44
, 1992, pp. 63-93
Perfect matching for regular graphs is
AC^0
-hard for the general matching problem
Elias Dahlhaus
,
Marek Karpinski
Journal of Computer and System Sciences
44
, 1992, pp. 94-102
Seiten 1
2
>