References in zbMATH (referenced in 127 articles )

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

1 2 3 ... 5 6 7 next

  1. Slaney, John; Woltzenlogel Paleo, Bruno: Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (2018)
  2. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  3. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On implicator groupoids (2017)
  4. Glück, Roland: Algebraic investigation of connected components (2017)
  5. Greer, Mark: Semiautomorphic inverse property loops (2017)
  6. Harding, John; Romanowska, Anna B.: Varieties of Birkhoff systems. I (2017)
  7. Holub, Štěpán; Veroff, Robert: Formalizing a fragment of combinatorics on words (2017)
  8. Peltier, N.: A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (2017)
  9. Ahmad, Imtiaz; Ahmad, Iftikhar; Rashad, Muhammad: A study of anti-commutativity in AG-groupoids (2016)
  10. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Cardinality of relations and relational approximation algorithms (2016)
  11. Bremner, Murray; Madariaga, Sara: Permutation of elements in double semigroups (2016)
  12. Bres, Emile; van Glabbeek, Rob; Höfner, Peter: A timed process algebra for wireless networks with an application in routing (extended abstract) (2016)
  13. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. II (2016)
  14. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Semisimple varieties of implication zroupoids (2016)
  15. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Order in implication zroupoids (2016)
  16. Hirsch, Robin; Jackson, Marcel; Mikulás, Szabolcs: The algebra of functions with antidomain and range (2016)
  17. Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao: Developments in concurrent Kleene algebra (2016)
  18. Höfner, Peter; Möller, Bernhard: Extended feature algebra (2016)
  19. Kinyon, Michael K.; Kunen, Kenneth; Phillips, J.D.; Vojtěchovský, Petr: The structure of automorphic loops (2016)
  20. Kinyon, Michael; Stuhl, Izabella; Vojtěchovský, Petr: Half-isomorphisms of Moufang loops. (2016)

1 2 3 ... 5 6 7 next