scientific article
From MaRDI portal
zbMath0875.18001MaRDI QIDQ4023244
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categories of machines, automata (18B20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items
Context rewriting, Towards Multiple Model Synchronization with Comprehensive Systems, A categorical interpretation of Landin's correspondence principle, Monadic vs adjoint decomposition, Categorical approach to the construction of fuzzy graph grammars, ASP, Amalgamation, and the Conceptual Blending Workflow, THE DIRICHLET HOPF ALGEBRA OF ARITHMETICS, Why mathematics needs engineering, Unnamed Item, A rational reconstruction of the domain of feature structures, Data refinement, call by value and higher order programs, Ring theoretical properties of epsilon-strongly graded rings and Leavitt path algebras, Big toy models. Representing physical systems as Chu spaces, Episodic memory: a hierarchy of spatiotemporal concepts, On the category of \(L\)-fuzzy automata, coalgebras and dialgebras, Organizational invariance and metabolic closure: analysis in terms of \((M, R)\) systems, Unnamed Item, Pointfree expression and calculation: From quantification to temporal logic, Unnamed Item, Pullback Grammars Are Context-Free, Two Cartesian closed categories of information algebras, Models of nondeterministic regular expressions, Transformations of fuzzy graphs specified by FD-grammars, Sets and functions in theoretical physics, Nondeterminism and infinite computations in constraint programming, Predicate transformers and higher-order programs, Fibrations and universal view updatability, A computational framework for conceptual blending, Genetic programming \(+\) proof search \(=\) automatic improvement, Combinatorial bitstring semantics for arbitrary logical fragments, A sheaf-theoretic approach to pattern matching and related problems, Transformations of discrete closure systems, An abstract interface to higher spin gauge field theory, Functorial data migration, A Finite Axiomatization of Nondeterministic Regular Expressions, Embeddings between lattices of fuzzy sets: an application of closed-valued fuzzy sets, From environments to representations -- a mathematical theory of artificial perceptions, Comprehensive systems: a formal foundation for multi-model consistency management, A behavioural theory of first-order CML, Dynamic structural operational semantics, Vivid: a framework for heterogeneous problem solving, MiniBrass: soft constraints for MiniZinc, From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference, Extensional equality preservation and verified generic programming, Categories of Automata and Languages Based on a Complete Residuated Lattice, Fuzzy Regular Languages Based on Residuated Lattice
