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=148
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A calculus for cryptographic protocols: The Spi calculus
Martín Abadi
,
Andrew D. Gordon
Information and Computation
148
(1), 1999, pp. 1-70
A finite equational axiomatization of the functional algebras for the lambda calculus
Antonio Salibra
,
Robert Goldblatt
Information and Computation
148
(1), 1999, pp. 71-130
Group axioms for iteration
Z. Ésik
Information and Computation
148
(2), 1999, pp. 131-180
Computations on nondeterministic cellular automata
Yuri Ozhigov
Information and Computation
148
(2), 1999, pp. 181-201
On computation with pulses
Wolfgang Maass
,
Berthold Ruf
Information and Computation
148
(2), 1999, pp. 202-218
Unfair problems and randomized algorithms for metrical task systems
Steve Seiden
Information and Computation
148
(2), 1999, pp. 219-240
Corrigendum to ''On some decision problems in programming''
Dieter Spreen
Information and Computation
148
(2), 1999, pp. 241-244