Eric Ufferman

From MaRDI portal
Person:998309

Available identifiers

zbMath Open ufferman.ericMaRDI QIDQ998309

List of research outcomes





PublicationDate of PublicationType
A lower bound on the failed zero-forcing number of a graph2023-08-17Paper
A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes2012-08-05Paper
Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes2010-08-24Paper
Partial automorphism semigroups2009-01-28Paper

Research outcomes over time

This page was built for person: Eric Ufferman

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