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=107
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Output-sensitive methods for rectilinear hidden surface removal
Michael T. Goodrich
,
Mikhail J. Atallah
,
Mark H. Overmars
Information and Computation
107
(1), 1993, November, pp. 1-24
Semantical analysis of specification logic, 2
P.W. O'Hearn
,
R.D. Tennent
Information and Computation
107
(1), 1993, November, pp. 25-57
Structural and behavioural equivalences of networks
Joachim Parrow
Information and Computation
107
(1), 1993, November, pp. 58-90
A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality
Leszek Pacholski
,
Wiesƚaw Szwast
Information and Computation
107
(1), 1993, November, pp. 91-103
An axiomatic theory for partial functions
Jan Kuper
Information and Computation
107
(1), 1993, November, pp. 104-150
Proving nondeterministically specified safety properties using progress measures
Nils Klarlund
,
Fred B. Schneider
Information and Computation
107
(1), 1993, November, pp. 151-170
Bounds on shared memory for mutual exclusion
James E. Burns
,
Nancy A. Lynch
Information and Computation
107
(2), 1993, December, pp. 171-184
Precircular codes and periodic biinfinite words
Jeanne Devolder
Information and Computation
107
(2), 1993, December, pp. 185-201
A theory of communicating processes with value passing
M. Hennessy
,
A. Ingólfsdóttir
Information and Computation
107
(2), 1993, December, pp. 202-236
On the role of procrastination in machine learning
Rūsiņs̆ Freivalds
,
Carl H. Smith
Information and Computation
107
(2), 1993, December, pp. 237-271
Deciding bisimulation equivalences for a class of non-finite-state programs
Bengt Jonsson
,
Joachim Parrow
Information and Computation
107
(2), 1993, December, pp. 272-302
Computing ML equality kinds using abstract interpretation
Carl A. Gunter
,
Elsa L. Gunter
,
David B. MacQueen
Information and Computation
107
(2), 1993, December, pp. 303-323