Using categorical methods in computer science

DOI10.1007/BF02667055MaRDI QIDQ5951279zbMATH OpenFDO

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

Publication date 6 January 2002

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

Full work available at URL https://doi.org/10.1007/BF02667055

zbMATH Keywords

term rewriting

Mathematics Subject Classification ID

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

Cites work

• A methodology of structured-modular composition programming
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Formal methods in computer technologies
• Geometry of recursion for arithmetic and existentially defined relations
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• Incompleteness in a topos

Cited in

(5)

• Transformational approach to the development of software architectures on the basis of fuzzy graph models
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Categorical approach to the construction of fuzzy graph grammars
• Transformations of fuzzy graphs specified by FD-grammars
• scientific article; zbMATH DE number 3999258 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5951279)