References in zbMATH (referenced in 198 articles )

Showing results 1 to 20 of 198.
Sorted by year (citations)

1 2 3 ... 8 9 10 next

  1. Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Pedersen, Mathias Ruggaard: On the axiomatisability of parallel composition (2022)
  2. Stokes, Tim: ((\mathscrF,\mathscrG))-abundant semigroups (2022)
  3. Abbadini, Marco: Equivalence à la Mundici for commutative lattice-ordered monoids (2021)
  4. Araújo, Maria Leonor; Araújo, Maria Teresa; Kinyon, Michael: The solution of an open problem on semigroup inclusion classes (2021)
  5. Bergstra, Jan A.; Ponse, Alban; Staudt, Daan J. C.: Non-commutative propositional logic with short-circuit evaluation (2021)
  6. Chvalovský, Karel; Jakubův, Jan; Olšák, Miroslav; Urban, Josef: Learning theorem proving components (2021)
  7. Coghetto, Roland: Pappus’s hexagon theorem in real projective plane (2021)
  8. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Semidistributivity and whitman property in implication zroupoids (2021)
  9. East, James; Gray, Robert D.: Ehresmann theory and partition monoids (2021)
  10. Jackson, Marcel; Stokes, Tim: Override and update (2021)
  11. Jipsen, Peter; Tuyt, Olim; Valota, Diego: The structure of finite commutative idempotent involutive residuated lattices (2021)
  12. Macke, Jaroslav; Sedlar, Jiri; Olsak, Miroslav; Urban, Josef; Sivic, Josef: Learning to solve geometric construction problems from images (2021)
  13. Margolis, Stuart; Stein, Itamar: Ehresmann semigroups whose categories are EI and their representation theory (2021)
  14. Merlini Giuliani, Maria de Lourdes; Oliveira Cortes, Wagner de: On loopoids and magma with inverse (2021)
  15. Santocanale, Luigi: Dualizing sup-preserving endomaps of a complete lattice (2021)
  16. Sawicki, Damian; Grabowski, Adam: On weakly associative lattices and near lattices (2021)
  17. Wehrung, Friedrich: Right-orderability versus left-orderability for monoids (2021)
  18. Wernhard, Christoph: Craig interpolation with clausal first-order tableaux (2021)
  19. Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter: Relational characterisations of paths (2020)
  20. Cristiá, Maximiliano; Rossi, Gianfranco: Solving quantifier-free first-order constraints over finite sets and binary relations (2020)

1 2 3 ... 8 9 10 next