Using categorical methods in computer science

DOI10.1007/BF02667055zbMath0999.68097MaRDI QIDQ5951279

I. N. Parasyuk, A. I. Provotar', Ivan V. Sergienko

Publication date: 6 January 2002

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Categories of machines, automata (18B20)

Related Items (3)

Categorical approach to the construction of fuzzy graph grammars ⋮ Transformations of fuzzy graphs specified by FD-grammars ⋮ Transformational approach to the development of software architectures on the basis of fuzzy graph models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal methods in computer technologies
• Geometry of recursion for arithmetic and existentially defined relations
• Incompleteness in a topos
• A methodology of structured-modular composition programming
• Every Standard Construction is Induced by a Pair of Adjoint Functors

This page was built for publication: Using categorical methods in computer science