References in zbMATH (referenced in 132 articles )

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

1 2 3 ... 5 6 7 next

  1. Lucas, Salvador; Gutiérrez, Raúl: Use of logical models for proving infeasibility in term rewriting (2018)
  2. Slaney, John; Woltzenlogel Paleo, Bruno: Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (2018)
  3. Akhtar, Reza: Symmetric linear operator identities in quasigroups. (2017)
  4. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  5. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On implicator groupoids (2017)
  6. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On derived algebras and subvarieties of implication zroupoids (2017)
  7. Glück, Roland: Algebraic investigation of connected components (2017)
  8. Greer, Mark: Semiautomorphic inverse property loops (2017)
  9. Harding, John; Romanowska, Anna B.: Varieties of Birkhoff systems. I (2017)
  10. Holub, Štěpán; Veroff, Robert: Formalizing a fragment of combinatorics on words (2017)
  11. Peltier, N.: A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (2017)
  12. Stein, Itamar: Algebras of Ehresmann semigroups and categories (2017)
  13. Ahmad, Imtiaz; Ahmad, Iftikhar; Rashad, Muhammad: A study of anti-commutativity in AG-groupoids (2016)
  14. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Cardinality of relations and relational approximation algorithms (2016)
  15. Bremner, Murray; Madariaga, Sara: Permutation of elements in double semigroups (2016)
  16. Bres, Emile; van Glabbeek, Rob; Höfner, Peter: A timed process algebra for wireless networks with an application in routing (extended abstract) (2016)
  17. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. II (2016)
  18. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Semisimple varieties of implication zroupoids (2016)
  19. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Order in implication zroupoids (2016)
  20. Hirsch, Robin; Jackson, Marcel; Mikulás, Szabolcs: The algebra of functions with antidomain and range (2016)

1 2 3 ... 5 6 7 next