- A Logical Characterization of the Counting Hierarchy Juha Kontinen Fri 01 July 2022
- Reachability relations of timed pushdown automata Lorenzo Clemente Sławomir Lasota Tue 29 December 2020
- Quantifier elimination for a class of exponential polynomial formulas Ming Xu Zhi-Bin Li Lu Yang Wed 06 May 2020
- Arithmetic, First-order Logic, and Counting Quantifiers Nicole Schweikardt Thu 11 July 2019
- EFFECTIVE QUANTIFIER ELIMINATION OVER REAL CLOSED FIELDS N. Vorobjov Fri 23 November 2018
- Theorem Proving in Arithmetic without Multiplication D. C. Cooper Tue 26 September 2017
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
