Attribut:Note
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
© AAAIhttp://www.aaai.org/ +
ISBN-1-901725-29-4, +
An abriged version appeared at CSL-99. +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
An abridged version has appeared in Proc. CADE'97, Springer LNAI 1249. +
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
See http://lat.inf.tu-dresden.de/research/reports.html. +
See http://lat.inf.tu-dresden.de/research/reports.html. +
(was Technical Report WV–02–03) +
The problem is still open +
See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html. +
(was Technical Report WV-02-06) +
ISBN 978-979-1421-11-9 +
Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/ +
To appear in ACM Transactions on Computational Logic. Download: PDF filewv-02-10.pdf +
See http://lat.inf.tu-dresden.de/research/reports.html. +
Final version appeared in Advanced in Modal Logic Volume 3, 2001. +
See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html. +
Available from ceur-ws.org +
See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html. +
