Publications

Found 4 results

Author Title [ Type] Year

Filters: Author is Martin Kutrib  [Clear All Filters]

Book

Descriptional Complexity of Formal Systems, 14th International Workshop (DCFS 2012). Vol 7386. Kutrib M, Moreira N, Reis R, editors Springer 2012.Edit

Miscellaneous

Amorim I, Machiavelo A, Reis R. Counting Equivalent Linear Finite Transducers Using a Canonical Form. Vol 8587. Holzer M, Kutrib M, editors 2014 (LNCS; vol 8587).Edit

Maia E, Moreira N, Reis R. Partial Derivative and Position Bisimilarity Automata. Vol 8587. Holzer M, Kutrib M, editors SV 2014 (LNCS; vol 8587).Edit

Proceedings classified as book chapters

Amorim I, Machiavelo A, Reis R. Counting Equivalent Linear Finite Transducers Using a Canonical Form. Holzer M, Kutrib M, editors Germany, Giessen: Springer 2014.Edit