Skip to main content

CMUP

Search form

Search

Log in

CMUP
Research
Projects
Events

Kleene Algebra Completeness

Title	Kleene Algebra Completeness
Publication Type	Preprint
Authors	Broda S, Cavadas S, Moreira N
[2014-37]

Apoio Fundação para a Ciência e Tecnologia, Compete, QRENe Faculdade de Ciencias da Universidade do Porto

Footer Menu

About CMUP
Contacts