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=Inf.~Comput. AND Volume=128
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Forward and backward simulations II. Timing-based systems
Nancy Lynch
,
Frits Vaandrager
Information and Computation
128
(1), 1996, pp. 1-25
From operational semantics to domain theory
Ian A. Mason
,
Scott F. Smith
,
Carolyn L. Talcott
Information and Computation
128
(1), 1996, pp. 26-47
The dynamic universality of sigmoidal neural networks
Joe Kilian
,
Hava T. Siegelmann
Information and Computation
128
(1), 1996, pp. 48-56
A tradeoff between safety and liveness for randomized coordinated attack
George Varghese
,
Nancy A. Lynch
Information and Computation
128
(1), 1996, pp. 57-71
Machine induction without revolutionary changes in hypothesis size
John Case
,
Sanjay Jain
,
Arun Sharma
Information and Computation
128
(2), 1996, pp. 73-86
Using Vapnik-Chervonenkis dimension to analyze the testing complexity of program segments
Kathleen Romanik
,
Jeffrey Scott Vitter
Information and Computation
128
(2), 1996, pp. 87-108
More on nonregular PDL: Finite models and Fibonacci-like programs
David Harel
,
Eli Singerman
Information and Computation
128
(2), 1996, pp. 109-118
Restricted information from nonadaptive queries to NP
Yenjo Han
,
Thomas Thierauf
Information and Computation
128
(2), 1996, pp. 119-125
Self-monitoring machines and an
\omega^{\omega}
hierarchy of loops
Mark Changizi
Information and Computation
128
(2), 1996, pp. 127-138