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: Author="Oppen, D.C."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Fast decision procedures based on congruence closure
G. Nelson
,
D.C. Oppen
Journal of the ACM
27
(2), 1980, pp. 356-364
Reasoning about recursively defined data structures
D.C. Oppen
Journal of the ACM
27
(3), 1980, pp. 403-411
Complexity, convexity and combinations of theories
D.C. Oppen
Theoretical Computer Science
12
, 1980, pp. 291-302
Fast decision algorithms based on union and find
G. Nelson
,
D.C. Oppen
Proceedings of the 18th Annual IEEE Symposium on Foundations of Computer Science, FOCS'77 (Providence, RI, October 31 - November 2, 1977)
, 1977, pp. 114-119
Proving assertions about programs that manipulate data structures
S.A. Cook
,
D.C. Oppen
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, STOC'75 (Albuquerque, NM, May 5-7, 1975)
, 1975, pp. 107-116
Elementary bounds for Presburger arithmetic
D.C. Oppen
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, STOC'73 (Austin, TX, April 30 - May 2, 1973)
, 1973, pp. 34-37