scientific article
From MaRDI portal
zbMath0988.03024MaRDI QIDQ2782479
Stefan Friedrich, David A. Basin
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
theorem provinghigher-order logicdecision procedurecombination of logicsweak monadic second-order logic of one successor
Related Items
Formalizing the Logic-Automaton Connection, Verifying a signature architecture: a comparative case study, Linear Arithmetic with Stars, Verified decision procedures for MSO on words based on derivatives of regular expressions, Integrating external deduction tools with ACL2, Combining Theories with Shared Set Operations
