Watanabe H., The subobject classifier of the category of functional bisimulations (submitted), 1997. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
An Axiomatics for Categories of Transition Systems as.. - Johnstone, Power.. (1998) (2 citations) (Correct)
A Criterion for the Existence of Subobject Classifiers - Watanabe (1998) (1 citation) Self-citation (Watanabe) (Correct)
An Axiomatics for Categories of Coalgebras - Power, Watanabe (1998) (4 citations) Self-citation (Watanabe) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC