Daniel Mihályi

From MaRDI portal
Person:2201094

Available identifiers

zbMath Open mihalyi.danielMaRDI QIDQ2201094

List of research outcomes





PublicationDate of PublicationType
Between syntax and semantics of resource oriented logic for IDS behavior description2020-09-28Paper
A categorical model of predicate linear logic2020-09-25Paper
Towards the knowledge in coalgebraic model of IDS2018-10-17Paper
Categorical models of logical systems in the mathematical theory of programming2011-02-22Paper
Finite automata in the mathematical theory of programming2010-01-21Paper

Research outcomes over time

This page was built for person: Daniel Mihályi

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