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=79
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A satisfiability tester for non-clausal propositional calculus
Allen van Gelder
Information and Computation
79
(1), 1988, pp. 1-21
Some general incompleteness results for partial correctness logics
M. Teresa Hortalá-González
,
Francisca Lucio-Carrasco
,
Mario Rodríguez-Artalejo
Information and Computation
79
(1), 1988, pp. 22-42
The multi-tree approach to reliability in distributed networks
Alon Itai
,
Michael Rodeh
Information and Computation
79
(1), 1988, pp. 43-59
Bisimulation of automata
David B. Benson
,
Ofer Ben-Shachar
Information and Computation
79
(1), 1988, pp. 60-83
Membership testing in commutative transformation semigroups
Martin Beaudry
Information and Computation
79
(1), 1988, pp. 84-94
Categories of partial maps
E. Robinson
,
G. Rosolini
Information and Computation
79
(2), 1988, pp. 95-130
Infinite trees, markings, and well-foundedness
Ran Rinat
,
Nissim Francez
,
Orna Grumbert
Information and Computation
79
(2), 1988, pp. 131-154
A trade-off between page number and page width of book embeddings of graphs
Elena Stöhr
Information and Computation
79
(2), 1988, pp. 155-162
Outlier resistant filtering and smoothing
Haralampos Tsaknakis
,
P. Papantoni-Kazakos
Information and Computation
79
(2), 1988, pp. 163-192
Saving the phenomena: Requirements that inductive inference machines not contradict known data
Mark A. Fulk
Information and Computation
79
(3), 1988, pp. 193-209
Compositional semantics for real-time distributed computing
R. Koymans
,
R.K. Shyamasundar
,
W.P. de Roever
,
R. Gerth
,
S. Arun-Kumar
Information and Computation
79
(3), 1988, pp. 210-256
Fault tolerant computing and reliable communication: A unified approach
E.A. Trachtenberg
Information and Computation
79
(3), 1988, pp. 257-279