Nancy A. Day

Available identifiers

zbMath Open day.nancy-aMaRDI QIDQ2281660

List of research outcomes

Publication	Date of Publication	Type
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?	2023-03-20	Paper
Finite model finding using the logic of equality with uninterpreted functions	2020-01-03	Paper
Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?	2018-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5457272	2008-04-14	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4427900	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4787252	2003-01-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nancy A. Day