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
[1]
Hilfe
Suche: Author="Shostak, R."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Deciding combinations of theories
R.E. Shostak
Journal of the ACM
31
(1), 1984, pp. 1-12
Deciding linear inequalities by computing loop residues
R. Shostak
Journal of the ACM
28
(4), 1981, pp. 769-779
Reaching agreements in the presence of faults
M. Pease
,
R. Shostak
,
L. Lamport
Journal of the ACM
27
(2), 1980, pp. 228-234
A practical decision procedure for arithmetic with function symbols
R.E. Shostak
Journal of the ACM
26
, 1979, pp. 351-360
On the role of unification in mechanical theorem proving
R.E. Shostak
Acta Informatica
7
(3), 1977, pp. 319-323
On the SUP-INF method for proving Presburger formulas
R.E. Shostak
Journal of the ACM
24
, 1977, pp. 529-543