The following pages link to Nancy A. Day (Q2281660):
Displayed 7 items.
- Finite model finding using the logic of equality with uninterpreted functions (Q2281661) (← links)
- (Q4427900) (← links)
- (Q4787252) (← links)
- (Q5457272) (← links)
- Formal Methods in Computer-Aided Design (Q5492973) (← links)
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? (Q5884253) (← links)
- Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence? (Q6305038) (← links)