Enrique Sarrión-Morillo

From MaRDI portal
Person:2938498



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
\textsf{LCC}-program transformers through Brzozowski's equations2019-07-03Paper
Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
Logics in Artificial Intelligence
2015-01-14Paper


Research outcomes over time


This page was built for person: Enrique Sarrión-Morillo