论文信息 - Diagram characterization - 字舞流文

Diagram characterization

Hartmut Ehrig | Wolfgang Kühnel | Michael Pfender | W. Kühnel | H. Ehrig | M. Pfender

[1] Joseph A. Goguen,et al. On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs , 1974, J. Comput. Syst. Sci..

[2] Peter Freyd,et al. Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.

[3] Mitchell Wand,et al. A Concrete Approach to Abstract Recursion Definitions , 1972, ICALP.

[4] Eric G. Wagner,et al. An algebraic theory of recursive definitions and recursive languages , 1971, STOC.

[5] Law Fw. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .

[6] Hugo Volger,et al. Logical categories, semantical categories and topoi , 1975 .