Julian Samborski-Forlese

From MaRDI portal
Person:2915097

Available identifiers

zbMath Open samborski-forlese.julianMaRDI QIDQ2915097

List of research outcomes





PublicationDate of PublicationType
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata2012-09-21Paper

Research outcomes over time

This page was built for person: Julian Samborski-Forlese