×

Found 4 Documents (Results 1–4)

Building decision procedures for modal logics from propositional decision procedures – the case study of modal K. (English) Zbl 1415.03022

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 583-597 (1996).
MSC:  03B35 03B25 03B45 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software