## Decision procedures for algebraic data types with abstractions (2010)

by
Mirco Dotta
,
Viktor Kuncak

Venue: | IN 37TH ACM SIGACT-SIGPLAN SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL), 2010. DECISION PROCEDURES FOR ORDERED COLLECTIONS 15 SHE75. SAHARON SHELAH. THE MONADIC THEORY OF ORDER. THA ANNALS OF MATHEMATICS OF MATHEMATICS |

Citations: | 30 - 11 self |