References in zbMATH (referenced in 169 articles )

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

1 2 3 ... 7 8 9 next

  1. Cristiá, Maximiliano; Rossi, Gianfranco: Solving quantifier-free first-order constraints over finite sets and binary relations (2020)
  2. Echenim, M.; Peltier, N.: Combining induction and saturation-based theorem proving (2020)
  3. Lucas, Salvador: Using well-founded relations for proving operational termination (2020)
  4. Moghaddam, G. I.; Padmanabhan, R.; Zhang, Yang: Automated reasoning with power maps (2020)
  5. Araújo, João; Kinyon, Michael; Robert, Yves: Varieties of regular semigroups with uniquely defined inversion (2019)
  6. Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef: GRUNGE: a grand unified ATP challenge (2019)
  7. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Symmetric implication zroupoids and weak associative laws (2019)
  8. Goodman, Jeremy: Agglomerative algebras (2019)
  9. Greer, Mark: Simple right conjugacy closed loops (2019)
  10. Gutiérrez, Raúl; Lucas, Salvador: Automatic generation of logical models with AGES (2019)
  11. Jedlička, Přemysl; Pilitowska, Agata; Zamojska-Dzienio, Anna: The retraction relation for biracks (2019)
  12. Jipsen, Peter; Kinyon, Michael: Nonassociative right hoops (2019)
  13. Kinyon, Michael: Proof simplification and automated theorem proving (2019)
  14. Lucas, Salvador: Proving semantic properties as first-order satisfiability (2019)
  15. Padmanabhan, Ranganathan; Zhang, Yang: Commutativity theorems in groups with power-like maps (2019)
  16. Phillips, J. D.: Moufang and commutant elements in magmas (2019)
  17. Rawson, Michael; Reger, Giles: Old or heavy? Decaying gracefully with age/weight shapes (2019)
  18. Reis, Giselle; Woltzenlogel Paleo, Bruno: Complexity of translations from resolution to sequent calculus (2019)
  19. Bonatto, Marco; Vojtěchovský, Petr: Simply connected Latin quandles (2018)
  20. Cauderlier, Raphaël: Tactics and certificates in Meta Dedukti (2018)

1 2 3 ... 7 8 9 next