References in zbMATH (referenced in 95 articles )

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

1 2 3 4 5 next

  1. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On implicator groupoids (2017)
  2. Harding, John; Romanowska, Anna B.: Varieties of Birkhoff systems. I (2017)
  3. Peltier, N.: A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (2017)
  4. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Cardinality of relations and relational approximation algorithms (2016)
  5. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. II (2016)
  6. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Order in implication zroupoids (2016)
  7. Hirsch, Robin; Jackson, Marcel; Mikulás, Szabolcs: The algebra of functions with antidomain and range (2016)
  8. Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao: Developments in concurrent Kleene algebra (2016)
  9. Höfner, Peter; Möller, Bernhard: Extended feature algebra (2016)
  10. Kinyon, Michael K.; Kunen, Kenneth; Phillips, J.D.; Vojtěchovský, Petr: The structure of automorphic loops (2016)
  11. Kinyon, Michael; Stuhl, Izabella; Vojtěchovský, Petr: Half-isomorphisms of Moufang loops. (2016)
  12. Padmanabhan, Ranganathan; Zhang, Yang: Automated deduction in ring theory (2016)
  13. Sankappanavar, Hanamantagouda P.: A note on regular De Morgan semi-Heyting algebras (2016)
  14. Torrens, Antoni: Semisimples in varieties of commutative integral bounded residuated lattices (2016)
  15. Araújo, João Pedro; Kinyon, Michael: A natural characterization of semilattices of rectangular bands and groups of exponent two. (2015)
  16. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Tool-based verification of a relational vertex coloring program (2015)
  17. Berghammer, Rudolf; Stucke, Insa; Winter, Michael: Investigating and computing bipartitions with algebraic means (2015)
  18. Bergman, Clifford; Failing, David: Commutative idempotent groupoids and the constraint satisfaction problem. (2015)
  19. Brengos, Tomasz: Weak bisimulation for coalgebras over order enriched monads (2015)
  20. Dang, Han-Hing; Möller, Bernhard: Modal algebra and Petri nets (2015)

1 2 3 4 5 next