Publication:3996444

zbMATH Open0698.18001MaRDI QIDQ3996444FDOQ3996444

Jiří Adámek, Věra Trnková

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

free algebrastree automataminimal realizationlinear automataKleene theoremsequential automatauniversal realizations

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Algebraic theory of languages and automata (68Q70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Categories of machines, automata (18B20)

Cited In (66)

• Terminal coalgebras and free iterative theories
• On final coalgebras of power-set functors and saturated trees
• On functors preserving coproducts and algebras with iterativity
• Proof systems for Moss' coalgebraic logic
• A categorical framework for learning generalised tree automata
• Recursive coalgebras of finitary functors
• Rational operational models
• From Varieties of Algebras to Covarieties of Coalgebras
• Coequational logic for finitary functors
• A bialgebraic approach to automata and formal language theory
• Universality of categories of coalgebras
• Strategy-proof aggregation rules and single peakedness in bounded distributive lattices
• On Finitary Functors
• Modules in the Category $$\mathtt {\mathbf{Sup}}$$
• Equational coalgebraic logic
• The category-theoretic solution of recursive program schemes
• Title not available (Why is that?)
• Modalities in the Stone age: a comparison of coalgebraic logics
• Title not available (Why is that?)
• Equational properties of iteration in algebraically complete categories
• Presenting functors on many-sorted varieties and applications
• On the greatest fixed point of a set functor
• The equational logic of fixed points
• Infinite trees and completely iterative theories: A coalgebraic view
• On final coalgebras of continuous functors
• Relation lifting, a survey
• All clones are centralizer clones
• Structural operational semantics for continuous state stochastic transition systems
• Coalgebraic semantics of modal logics: an overview
• Equational axioms associated with finite automata for fixed point operations in cartesian categories
• On tree coalgebras and coalgebra presentations
• A Coalgebraic View of Infinite Trees and Iteration
• A coalgebraic view on reachability
• Relatively terminal coalgebras
• Coequational logic for accessible functors
• Subsequential transducers: a coalgebraic perspective
• Automata and fixed point logic: a coalgebraic perspective
• On the construction of free algebras for equational systems
• Title not available (Why is that?)
• Categories of quantale-valued fuzzy automata: determinization and minimization
• A categorical approach to minimal realization for a fuzzy language
• Predicate liftings and functor presentations in coalgebraic expression languages
• Title not available (Why is that?)
• Continuous and uniformly continuous maps of powers of metric spaces
• REFLECTORS AND GLOBALIZATIONS OF PARTIAL ACTIONS OF GROUPS
• Modal predicates and coequations
• Set functors and filters
• Memoryless systems generate the class of all discrete systems
• Free Heyting Algebras: Revisited
• Lax extensions of coalgebra functors and their logic
• Predicate liftings versus nabla modalities
• A Bialgebraic Approach to Automata and Formal Language Theory
• Title not available (Why is that?)
• Implementation and Application of Automata
• On finitary functors and their presentations
• Title not available (Why is that?)
• The Bottom-Up Position Tree Automaton and the Father Automaton
• Title not available (Why is that?)
• On \(L\)-fuzzy automata, coalgebras and dialgebras: associated categories and \(L\)-fuzzy topologies
• Some facets of Horn covarieties in a category
• Categories of Automata and Languages Based on a Complete Residuated Lattice
• On the category of \(L\)-fuzzy automata, coalgebras and dialgebras
• The genus of regular languages and directed graph emulators
• Generalised powerlocales via relation lifting
• Automata and coalgebras in categories of species
• A farewell to Professor RNDr. Věra Trnková, DrSc.

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 Q3996444)