most citedAstra Version 1.0: Evaluating Translations from Alloy to SMT-LIB

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2018

Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?

Will Boney, Barbara F. Csima, Nancy A. Day +1

When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, le…