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="Tran, Duc-Khanh"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Automatic decidability and combinability
Christopher Lynch
,
Silvio Ranise
,
Christophe Ringeissen
,
Duc-Khanh Tran
Information and Computation
209
(7), 2011, pp. 1026-1047
Combination of convex theories: Modularity, deduction completeness, and explanation
Duc-Khanh Tran
,
Christophe Ringeissen
,
Silvio Ranise
,
Hélène Kirchner
Journal Symbolic Computation
45
(2), 2010, pp. 261-286
Nelson-Oppen, Shostak and the extended canonizer: A family picture with a newborn
Silvio Ranise
,
Christophe Ringeissen
,
Duc-Khanh Tran
Lecture Notes in Computer Science
3407
, 2005, pp. 372-386