Back to Results
First PageMeta Content
Automata theory / Mathematics / Category theory / Formal languages / Algebraic structures / Monoid / Semiautomaton / Probabilistic automaton / Regular language / Abstract algebra / Semigroup theory / Algebra


ACME: Automata with Counters, Monoids and Equivalence? Nathanaël Fijalkow1,2 and Denis Kuperberg2 1 2
Add to Reading List

Document Date: 2014-07-21 11:37:01


Open Document

File Size: 164,96 KB

Share Result on Facebook

Facility

University of Warsaw Abstract / /

IndustryTerm

polynomial-time algorithm / generic algorithm / linear-time algorithm / under product / correct algorithm / minimization algorithm / /

Organization

French ANR / European Union / /

Person

Edon Kelmendi / Hugo Gimbert / Denis Kuperberg / Nathanaël Fijalkow / Youssouf Oualhadj / Sylvain Lombardy / Thomas Colcombet / /

PublishedMedium

Logical Methods in Computer Science / /

Technology

end end Algorithm / linear-time algorithm / minimization algorithm / polynomial-time algorithm / /

URL

http /

SocialTag