scientific article; zbMATH DE number 7533356

DOI10.4230/LIPIcs.CSL.2018.31MaRDI QIDQ5079756

Mahesh Viswanathan, Shambwaditya Saha, P. Madhusudan, Umang Mathur

Publication date: 28 May 2022

Full work available at URL: https://arxiv.org/abs/1712.05513

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synthesissecond-order logicdecidable fragment

Mathematics Subject Classification ID

Logic in computer science (03B70)

Uses Software

• Ivy
• Ivy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deciding effectively propositional logic using DPLL and substitution sets
• The small model property: How small can it be?
• Simplification by Cooperating Decision Procedures
• On Combinations of Local Theory Extensions
• Automated Deduction – CADE-20
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: