Simon J. Ambler

From MaRDI portal
Person:671984

Available identifiers

zbMath Open ambler.simon-jMaRDI QIDQ671984

List of research outcomes





PublicationDate of PublicationType
A hybrid encoding of Howe's method for establishing congruence of bisimilarity2013-08-19Paper
https://portal.mardi4nfdi.de/entity/Q44178712003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44843292003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q45252722001-01-22Paper
https://portal.mardi4nfdi.de/entity/Q49452092000-03-23Paper
Duality and the completeness of the modal \(\mu\)-calculus1997-02-27Paper
Generalized logic and the representation of rings1996-11-12Paper
A categorical approach to the semantics of argumentation1996-11-05Paper

Research outcomes over time

This page was built for person: Simon J. Ambler

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