Publications

Found 4 results

Author Title Type [ Year]

Filters: First Letter Of Last Name is K and Author is Martin Kutrib  [Clear All Filters]

2014

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

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

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

2012

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