References in zbMATH (referenced in 147 articles )

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

1 2 3 ... 6 7 8 next

  1. Padmanabhan, Ranganathan; Zhang, Yang: Commutativity theorems in groups with power-like maps (2019)
  2. Bonatto, Marco; Vojtěchovský, Petr: Simply connected latin quandles (2018)
  3. Cauderlier, Raphaël: Tactics and certificates in Meta Dedukti (2018)
  4. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Symmetric implication zroupoids and identities of Bol-Moufang type (2018)
  5. Goertzel, Zarathustra; Jakubův, Jan; Schulz, Stephan; Urban, Josef: Proofwatch: watchlist guidance for large theories in E (2018)
  6. Lisitsa, Alexej P.: The Andrews-Curtis conjecture, term rewriting and first-order proofs (2018)
  7. Lucas, Salvador; Gutiérrez, Raúl: Use of logical models for proving infeasibility in term rewriting (2018)
  8. Ponse, Alban; Staudt, Daan J. C.: An independent axiomatisation for free short-circuit logic (2018)
  9. Slaney, John; Woltzenlogel Paleo, Bruno: Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (2018)
  10. Stokes, Tim: Generalised domain and (E)-inverse semigroups (2018)
  11. Akhtar, Reza: Symmetric linear operator identities in quasigroups. (2017)
  12. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  13. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. III (2017)
  14. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On derived algebras and subvarieties of implication zroupoids (2017)
  15. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: On implicator groupoids (2017)
  16. Glück, Roland: Algebraic investigation of connected components (2017)
  17. Greer, Mark: Semiautomorphic inverse property loops (2017)
  18. Harding, John; Romanowska, Anna B.: Varieties of Birkhoff systems. I (2017)
  19. Holub, Štěpán; Veroff, Robert: Formalizing a fragment of combinatorics on words (2017)
  20. Peltier, N.: A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (2017)

1 2 3 ... 6 7 8 next