Arthur Milchior

From MaRDI portal
Person:2988841

Available identifiers

zbMath Open milchior.arthurMaRDI QIDQ2988841

List of research outcomes





PublicationDate of PublicationType
Spectra and satisfiability for logics with successor and a unary function2020-05-11Paper
Undecidability of satisfiability of expansions of FO [ < ] over words with a  FO [ + ]-definable set2018-01-18Paper
Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order2017-05-19Paper
Uniform definition of sets using relations and complement of Presburger Arithmetic2016-11-11Paper

Research outcomes over time

This page was built for person: Arthur Milchior

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