References in zbMATH (referenced in 141 articles )

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

1 2 3 ... 6 7 8 next

  1. Bonatto, Marco; Vojtěchovský, Petr: Simply connected latin quandles (2018)
  2. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Symmetric implication zroupoids and identities of Bol-Moufang type (2018)
  3. Lisitsa, Alexej P.: The Andrews-Curtis conjecture, term rewriting and first-order proofs (2018)
  4. Lucas, Salvador; Gutiérrez, Raúl: Use of logical models for proving infeasibility in term rewriting (2018)
  5. Ponse, Alban; Staudt, Daan J. C.: An independent axiomatisation for free short-circuit logic (2018)
  6. Slaney, John; Woltzenlogel Paleo, Bruno: Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (2018)
  7. Stokes, Tim: Generalised domain and (E)-inverse semigroups (2018)
  8. Akhtar, Reza: Symmetric linear operator identities in quasigroups. (2017)
  9. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  10. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. III (2017)
  11. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On implicator groupoids (2017)
  12. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On derived algebras and subvarieties of implication zroupoids (2017)
  13. Glück, Roland: Algebraic investigation of connected components (2017)
  14. Greer, Mark: Semiautomorphic inverse property loops (2017)
  15. Harding, John; Romanowska, Anna B.: Varieties of Birkhoff systems. I (2017)
  16. Holub, Štěpán; Veroff, Robert: Formalizing a fragment of combinatorics on words (2017)
  17. Peltier, N.: A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (2017)
  18. Stein, Itamar: Algebras of Ehresmann semigroups and categories (2017)
  19. Ahmad, Imtiaz; Ahmad, Iftikhar; Rashad, Muhammad: A study of anti-commutativity in AG-groupoids (2016)
  20. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Cardinality of relations and relational approximation algorithms (2016)

1 2 3 ... 6 7 8 next