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=126
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Ntyft/ntyxt rules reduce to ntree rules
Wan Fokkink
,
Rob van Glabbeek
Information and Computation
126
(1), 1996, pp. 1-10
Positive subtyping
Martin Hofmann
,
Benjamin C. Pierce
Information and Computation
126
(1), 1996, pp. 11-33
A symbolic semantics for the
\pi
-calculus
Michele Boreale
,
Rocco de Nicola
Information and Computation
126
(1), 1996, pp. 34-52
Efficient perfectly secure message transmission in synchronous networks
Hasan Md. Sayeed
,
Hosame Abu-Amara
Information and Computation
126
(1), 1996, pp. 53-61
Contention-free complexity of shared memory algorithms
Rajeev Alur
,
Gadi Taubenfeld
Information and Computation
126
(1), 1996, pp. 62-73
On a question of H. Friedman
Gordon Plotkin
Information and Computation
126
(1), 1996, pp. 74-77
Simulating fair dice with biased coins
Toshiya Itoh
Information and Computation
126
(1), 1996, pp. 78-82
The discriminating power of multiplicities in the
\lambda
-calculus
GĂ©rard Boudol
,
Cosimo Laneve
Information and Computation
126
(1), 1996, pp. 83-102
Aperiodic languages in concurrency monoids
Manfred Droste
Information and Computation
126
(2), 1996, pp. 105-113
Lower bounds on learning decision lists and trees
Thomas Hancock
,
Tao Jiang
,
Ming Li
,
John Tromp
Information and Computation
126
(2), 1996, pp. 114-122
The Barendregt cube with definitions and generalized reduction
Roel Bloo
,
Fairouz Kamareddine
,
Rob Nederpelt
Information and Computation
126
(2), 1996, pp. 123-143
Combining decision algorithms for matching in the union of disjoint equational theories
Christophe Ringeissen
Information and Computation
126
(2), 1996, pp. 144-160
Sensitive functions and approximate problems
Shiva Chaudhuri
Information and Computation
126
(2), 1996, pp. 161-168