scientific article; zbMATH DE number 51770
From MaRDI portal
Publication:4002149
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theory of computing (68Q99)
Recommendations
Cited in
(84)- scientific article; zbMATH DE number 4108840 (Why is no real title available?)
- Pushdown tree automata, algebraic tree systems, and algebraic tree series
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Towards a proof of the decidability of the momentary stagnation of the growth function of D0L systems
- Derivation digraphs for dependencies in ordinal and similarity-based data
- On the finite embeddability property for residuated ordered groupoids
- Equational weighted tree transformations with discounting
- The data type variety of stack algebras
- scientific article; zbMATH DE number 1154177 (Why is no real title available?)
- Reflection-closed varieties of multisorted algebras and minor identities
- Reflections on and of minor-closed classes of multisorted operations
- A relational account of call-by-value sequentiality
- Conservativity of nested relational calculi with internal generic functions
- scientific article; zbMATH DE number 1839430 (Why is no real title available?)
- Reflections and powers of multisorted minions
- Universal algebra in higher types
- Weakest precondition reasoning for expected run-times of probabilistic programs
- Partial arithmetical data types of rational numbers and their equational specification
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- An application of lattice theory to knowledge representation
- There are no post-quantum weakly pseudo-free families in any nontrivial variety of expanded groups
- Functional sorts in data type specifications
- On formations of monoids
- Equational tree transformations
- Inductive \(^{*}\)-semirings
- Basic notions of universal algebra for language theory and graph grammars
- On Lindenmayerian algebraic power series
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices
- System theory for system identification.
- Universal algebra and applications in theoretical computer science
- Pseudo-free families and cryptographic primitives
- Confluence and termination of fuzzy relations
- Two algebraic approaches to variants of the concatenation product
- Minimal bases of temporal attribute implications
- Fuzzy Horn logic. II. Implicationally defined classes.
- Monoidal functional dependencies
- Continuous monoids and semirings
- A short overview of hidden logic
- scientific article; zbMATH DE number 46653 (Why is no real title available?)
- Boolean logics with relations
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
- Picture deformation
- Quasi-varieties: A special access
- Pseudo-free families of computational universal algebras
- Intrinsic reasoning about functional programs. I: First order theories
- Classifying regular languages by their syntactic algebras
- Modal rules are co-implications
- Birkhoff's variety theorem in many sorts
- Meadows and the equational specification of division
- Synchronized shuffles
- A general conservative extension theorem in process algebras with inequalities
- Unions of non-disjoint theories and combinations of satisfiability procedures
- A categorical framework for the transformation of object-oriented systems: models and data
- Inductive proof search modulo
- Equational weighted tree transformations
- Rewriting systems over similarity and generalized pseudometric spaces and their properties
- The recognizability of sets of graphs is a robust property
- Triangular norm based predicate fuzzy logics
- Recognizable sets of graphs: equivalent definitions and closure properties
- The data type of spatial objects
- Positive varieties of tree languages
- Relational division in rank-aware databases
- Closure structures parameterized by systems of isotone Galois connections
- On the coset laws for skew lattices
- Automated reasoning about cubic curves
- On strongly symmetric skew lattices
- Fuzzy Horn logic. I. Proof theory.
- Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
- Moded and continuous abstract state machines
- Equational theories for automata
- Algebraic recognizability of regular tree languages
- Supervisory Control with Complete Observations
- Closure properties for the class of behavioral models
- Computational complexity of some problems involving congruences on algebras
- Division safe calculation in totalised fields
- scientific article; zbMATH DE number 3874591 (Why is no real title available?)
- The wheel of rational numbers as an abstract data type
- Theories of generalized Pascal triangles
- Algebraic models of behaviour and correctness of SMT and CMT processors
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols
- Deciding the word problem for ground identities with commutative and extensional symbols
- Higher-order algebra with transfinite types
- Fuzzy logic programming reduced to reasoning with attribute implications
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 Q4002149)
