Date Item Type Full Text Status

Article

CSP duality and trees of bounded pathwidth. (2010) Catarina Carvalho, Víctor Dalmau and Andrei Krokhin

A scalable approach to computing representative lowest common ancestor in directed acyclic graphs. (2013) Santanu Dash, Sven-Bodo Scholz, Stephan Herhut and B. Christianson

On complete systems of automata. (2000) P. Domosi and C.L. Nehaniv

Finite Semigroups, Feedback, and the Letichevsky Criteria for Non-Empty Words in Finite Automata. (2003) P. Domosi, C.L. Nehaniv and J.L. Rhodes