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=87
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A compositional proof system on a category of labelled transition systems
Glynn Winskel
Information and Computation
87
(1/2), 1990, July/August, pp. 2-57
Priorities in process algebras
Rance Cleaveland
,
Matthew Hennessy
Information and Computation
87
(1/2), 1990, July/August, pp. 58-77
A logic for reasoning about probabilities
Ronald Fagin
,
Joseph Y. Halpern
,
Nimrod Megiddo
Information and Computation
87
(1/2), 1990, July/August, pp. 78-128
Rigid
E
-unification:
NP
-completeness and applications to equational matings
Jean Gallier
,
Paliath Narendran
,
David Plaisted
,
Wayne Snyder
Information and Computation
87
(1/2), 1990, July/August, pp. 129-195
A modest model of records, inheritance, and bounded quantification
Kim B. Bruce
,
Giuseppe Longo
Information and Computation
87
(1/2), 1990, July/August, pp. 196-240
An algebra and a logic for
NC^1
Kevin J. Compton
,
Claude Laflamme
Information and Computation
87
(1/2), 1990, July/August, pp. 241-263
Can LCF be topped? Flat lattice models of typed
\lambda
-calculus
Bard Bloom
Information and Computation
87
(1/2), 1990, July/August, pp. 264-301
0-1 laws and decision problems for fragments of second-order logic
Phokion G. Kolaitis
,
Moshe Y. Vardi
Information and Computation
87
(1/2), 1990, July/August, pp. 302-338