The following pages link to (Q4002149):
Displaying 50 items.
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Equational tree transformations (Q551198) (← links)
- Continuous monoids and semirings (Q596031) (← links)
- Boolean logics with relations (Q604451) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- On strongly symmetric skew lattices (Q647310) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Minimal bases of temporal attribute implications (Q722104) (← links)
- Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
- Equational weighted tree transformations (Q766185) (← links)
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
- Two algebraic approaches to variants of the concatenation product (Q861283) (← links)
- Confluence and termination of fuzzy relations (Q991880) (← links)
- Meadows and the equational specification of division (Q1006649) (← links)
- Division safe calculation in totalised fields (Q1015383) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- Conservativity of nested relational calculi with internal generic functions (Q1321813) (← links)
- Automated reasoning about cubic curves (Q1343392) (← links)
- Theories of generalized Pascal triangles (Q1377634) (← links)
- On Lindenmayerian algebraic power series (Q1391140) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- System theory for system identification. (Q1421324) (← links)
- An application of lattice theory to knowledge representation (Q1583487) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
- Birkhoff's variety theorem in many sorts (Q1762479) (← links)
- Quasi-varieties: A special access (Q1770610) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Pushdown tree automata, algebraic tree systems, and algebraic tree series (Q1854412) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- The data type variety of stack algebras (Q1891249) (← links)
- The data type of spatial objects (Q1941895) (← links)
- Reflection-closed varieties of multisorted algebras and minor identities (Q1991602) (← links)
- Reflections on and of minor-closed classes of multisorted operations (Q1991603) (← links)
- Reflections and powers of multisorted minions (Q1996099) (← links)
- Pseudo-free families of computational universal algebras (Q2033515) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Equational theories for automata (Q2074221) (← links)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- Deciding the word problem for ground identities with commutative and extensional symbols (Q2096444) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Pseudo-free families and cryptographic primitives (Q2154466) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- On formations of monoids (Q2184784) (← links)
- The wheel of rational numbers as an abstract data type (Q2237335) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Relational division in rank-aware databases (Q2282883) (← links)
- Monoidal functional dependencies (Q2353408) (← links)
