Skip to content

Embedded Finite Models beyond Restricted Quantifier Collapse.

Michael Benedikt, Ehud Hrushovski

VenueA*LICS
Year2023
ProceedingsLICS

Browse the full LICS paper archive.