Some Remarks on Conway and Iteration Theories
Logic in Computer Science
2016-03-03 v1
Abstract
We present an axiomatization of Conway theories which yields,as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms.
Cite
@article{arxiv.1603.00838,
title = {Some Remarks on Conway and Iteration Theories},
author = {Zoltan Esik and Sergey Goncharov},
journal= {arXiv preprint arXiv:1603.00838},
year = {2016}
}