scientific article; zbMATH DE number 139765

MaRDI QIDQ4028094zbMATH OpenFDO

Authors Robert M. Zimmer

Publication date 28 March 1993

zbMATH Keywords

algebraic automaton theorycategory theoryfunctorial semanticshardware design systemsproblem solvingrepresentation engineering system

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Recommendations

• Representations of categories and their applications
• Category Theory
• scientific article; zbMATH DE number 193170
• Categories and representations
• Applications of category theory in symbolic computation
• scientific article; zbMATH DE number 7599487
• scientific article; zbMATH DE number 4069150
• scientific article; zbMATH DE number 46995
• Category theory for computing science

Cited in

(2)

• From environments to representations -- a mathematical theory of artificial perceptions
• A system simulating representation change phenomena while problem solving

This page was built for publication:

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