- Record: found
- Abstract: not found
- Book Chapter: not found
LATIN 2000: Theoretical Informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings
A Cut-Free Cyclic Proof System for Kleene Algebra
other
Read this book at
Publisher
- oa repository (via OAI-PMH doi match)
- oa repository (via OAI-PMH doi match)
- oa repository (via OAI-PMH title and first author match)
- oa repository (via OAI-PMH title and first author match)
- oa repository (via OAI-PMH title and first author match)
- oa repository (via OAI-PMH title and first author match)
Powered by 
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references29
- Record: found
- Abstract: not found
- Article: not found
The Mathematics of Sentence Structure
Joachim Lambek (1958)