References in zbMATH (referenced in 134 articles )

Showing results 1 to 20 of 134.
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. Ponse, Alban; Staudt, Daan J. C.: An independent axiomatisation for free short-circuit logic (2018)
  3. Slaney, John; Woltzenlogel Paleo, Bruno: Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (2018)
  4. Stokes, Tim: Generalised domain and $E$-inverse semigroups (2018)
  5. Akhtar, Reza: Symmetric linear operator identities in quasigroups. (2017)
  6. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  7. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On derived algebras and subvarieties of implication zroupoids (2017)
  8. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On implicator groupoids (2017)
  9. Glück, Roland: Algebraic investigation of connected components (2017)
  10. Greer, Mark: Semiautomorphic inverse property loops (2017)
  11. Harding, John; Romanowska, Anna B.: Varieties of Birkhoff systems. I (2017)
  12. Holub, Štěpán; Veroff, Robert: Formalizing a fragment of combinatorics on words (2017)
  13. Peltier, N.: A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (2017)
  14. Stein, Itamar: Algebras of Ehresmann semigroups and categories (2017)
  15. Ahmad, Imtiaz; Ahmad, Iftikhar; Rashad, Muhammad: A study of anti-commutativity in AG-groupoids (2016)
  16. Berghammer, Rudolf; Höfner, Peter; Stucke, Insa: Cardinality of relations and relational approximation algorithms (2016)
  17. Bremner, Murray; Madariaga, Sara: Permutation of elements in double semigroups (2016)
  18. Bres, Emile; van Glabbeek, Rob; Höfner, Peter: A timed process algebra for wireless networks with an application in routing (extended abstract) (2016)
  19. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. II (2016)
  20. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Semisimple varieties of implication zroupoids (2016)

1 2 3 ... 5 6 7 next