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=103
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Probabilistic verification
Amir Pnueli
,
Lenore D. Zuck
Information and Computation
103
(1), 1993, March, pp. 1-29
Content-related interval queries on object histories
Seymour Ginsburg
,
Dan Simovici
,
Xiaoyang Wang
Information and Computation
103
(1), 1993, March, pp. 30-67
Terse, superterse, and verbose sets
Richard Beigel
,
William I. Gasarch
,
John Gill
,
James C. Owings
Information and Computation
103
(1), 1993, March, pp. 68-85
A model-theoretic reconstruction of the operational semantics of logic programs
Moreno Falaschi
,
Giorgio Levi
,
Maurizio Martelli
,
Catuscia Palamidessi
Information and Computation
103
(1), 1993, March, pp. 86-113
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
José Meseguer
,
Joseph A. Goguen
Information and Computation
103
(1), 1993, March, pp. 114-158
Kolmogorov complexity and Hausdorff dimension
Ludwig Staiger
Information and Computation
103
(2), 1993, April, pp. 159-194
Limitations of the program memory and the expressive power of dynamic logic
I.Kh. Musikaev
,
M.A. Taitslin
Information and Computation
103
(2), 1993, April, pp. 195-203
Towards action-refinement in process algebras
L. Aceto
,
M. Hennessy
Information and Computation
103
(2), 1993, April, pp. 204-269
Distance-dependent distributed directories
David Peleg
Information and Computation
103
(2), 1993, April, pp. 270-298
Inference of finite automata using homing sequences
Ronald L. Rivest
,
Robert E. Schapire
Information and Computation
103
(2), 1993, April, pp. 299-347