Adam Antonik

From MaRDI portal
Revision as of 08:55, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2810965

Available identifiers

zbMath Open antonik.adamMaRDI QIDQ2810965

List of research outcomes





PublicationDate of PublicationType
On the Complexity of Semantic Self-minimization2016-06-06Paper
Polynomial-Time Under-Approximation of Winning Regions in Parity Games2015-03-23Paper
EXPTIME-complete Decision Problems for Modal and Mixed Specifications2014-07-23Paper
https://portal.mardi4nfdi.de/entity/Q28513162013-10-10Paper
Modal and mixed specifications: key decision problems and their complexities2010-04-01Paper
https://portal.mardi4nfdi.de/entity/Q33966362009-09-19Paper
Complexity of Decision Problems for Mixed and Modal Specifications2008-04-11Paper

Research outcomes over time

This page was built for person: Adam Antonik

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