Robert S. R. Myers

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!

Publication	Date of Publication	Type
Syntactic Minimization Of Nondeterministic Finite Automata.	2023-08-08	Paper
Nondeterministic syntactic complexity	2021-10-18	Paper
Generalized Eilenberg theorem. Varieties of languages in a category ACM Transactions on Computational Logic	2019-02-07	Paper
Varieties of Languages in a Category 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
On continuous nondeterminism and state minimality	2016-05-13	Paper
Rational operational models	2016-04-12	Paper
Coalgebraic constructions of canonical nondeterministic automata Theoretical Computer Science	2015-11-10	Paper
Canonical nondeterministic automata Advanced Information Systems Engineering	2015-09-11	Paper
Generalized Eilenberg theorem. I: Local varieties of languages Lecture Notes in Computer Science	2014-04-16	Paper
A characterisation of NL/poly via nondeterministic finite automata Descriptional Complexity of Formal Systems	2013-08-09	Paper
Hybrid logic with the difference modality for generalisations of graphs Journal of Applied Logic	2011-03-22	Paper
Coalgebraic Hybrid Logic Foundations of Software Science and Computational Structures	2009-03-31	Paper

Research outcomes over time

This page was built for person: Robert S. R. Myers