Paper: Semi-galois Categories I: The Classical Eilenberg Variety Theory (at LICS 2016)
Authors: Takeo Uramoto
Abstract
No Abstract Available
BibTeX
@InProceedings{Uramoto-SemigaloisCategorie, author = {Takeo Uramoto}, title = {Semi-galois Categories I: The Classical Eilenberg Variety Theory}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {545--554}, location = {New York City}, publisher = {IEEE Computer Society Press} }