×

Found 29 Documents (Results 1–29)

Uniform Lyndon interpolation for basic non-normal modal logics. (English) Zbl 07547747

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 287-301 (2021).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Combined covers and Beth definability. (English) Zbl 07614513

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 181-200 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Model completeness, covers and superposition. (English) Zbl 07178974

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 142-160 (2019).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Fixed-point elimination in the intuitionistic propositional calculus. (English) Zbl 1475.03069

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 126-141 (2016).
MSC:  03B20 06D20
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Free Heyting algebras: revisited. (English) Zbl 1238.06007

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 251-266 (2009).
MSC:  06D20 03G25 06D50
PDFBibTeX XMLCite
Full Text: DOI

Quantifier elimination and provers integration. (English) Zbl 1261.68100

Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 22-34 (2003).
MSC:  68T15 03C10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software