Nancy A. Day

From MaRDI portal
Person:2281660

Available identifiers

zbMath Open day.nancy-aMaRDI QIDQ2281660

List of research outcomes





PublicationDate of PublicationType
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?2023-03-20Paper
Finite model finding using the logic of equality with uninterpreted functions2020-01-03Paper
Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?2018-08-05Paper
Interface automata with complex actions: limiting interleaving in interface automata2008-04-14Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q44279002003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q47872522003-01-09Paper

Research outcomes over time

This page was built for person: Nancy A. Day

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2281660&oldid=7609706"
Powered by MediaWiki