scientific article; zbMATH DE number 51770
From MaRDI portal
Publication:4002149
zbMATH Open0748.68002MaRDI QIDQ4002149FDOQ4002149
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)
- Pushdown tree automata, algebraic tree systems, and algebraic tree series
- A hidden Herbrand theorem: Combining the object and logic paradigms
- On the finite embeddability property for residuated ordered groupoids
- Derivation digraphs for dependencies in ordinal and similarity-based data
- Title not available (Why is no real title available?)
- The data type variety of stack algebras
- 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
- Weakest precondition reasoning for expected run-times of probabilistic programs
- Universal algebra in higher types
- 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
- On formations of monoids
- Equational tree transformations
- Inductive \(^{*}\)-semirings
- On Lindenmayerian algebraic power series
- Basic notions of universal algebra for language theory and graph grammars
- Universal algebra and applications in theoretical computer science
- Pseudo-free families and cryptographic primitives
- System theory for system identification.
- 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.
- Continuous monoids and semirings
- Title not available (Why is no real title available?)
- Boolean logics with relations
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
- Intrinsic reasoning about functional programs. I: First order theories
- Quasi-varieties: A special access
- Birkhoff's variety theorem in many sorts
- Meadows and the equational specification of division
- 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
- Positive varieties of tree languages
- The data type of spatial objects
- On the coset laws for skew lattices
- Closure structures parameterized by systems of isotone Galois connections
- Automated reasoning about cubic curves
- Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
- Fuzzy Horn logic. I. Proof theory.
- On strongly symmetric skew lattices
- Moded and continuous abstract state machines
- Algebraic recognizability of regular tree languages
- Closure properties for the class of behavioral models
- Computational complexity of some problems involving congruences on algebras
- Title not available (Why is no real title available?)
- Division safe calculation in totalised fields
- 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
- Higher-order algebra with transfinite types
- Fuzzy logic programming reduced to reasoning with attribute implications
- Towards a proof of the decidability of the momentary stagnation of the growth function of D0L systems
- Equational weighted tree transformations with discounting
- Title not available (Why is no real title available?)
- Reflections and powers of multisorted minions
- There are no post-quantum weakly pseudo-free families in any nontrivial variety of expanded groups
- Functional sorts in data type specifications
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices
- Monoidal functional dependencies
- A short overview of hidden logic
- Picture deformation
- Classifying regular languages by their syntactic algebras
- Pseudo-free families of computational universal algebras
- Modal rules are co-implications
- Synchronized shuffles
- Relational division in rank-aware databases
- Equational theories for automata
- Supervisory Control with Complete Observations
- 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
- Title not available (Why is no real title available?)
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)
