References in zbMATH (referenced in 171 articles )

Showing results 1 to 20 of 171.
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. Gil-Férez, José; Jipsen, Peter; Metcalfe, George: Structure theorems for idempotent residuated lattices (2020)
  4. Lucas, Salvador: Using well-founded relations for proving operational termination (2020)
  5. Moghaddam, G. I.; Padmanabhan, R.; Zhang, Yang: Automated reasoning with power maps (2020)
  6. Araújo, João; Kinyon, Michael; Robert, Yves: Varieties of regular semigroups with uniquely defined inversion (2019)
  7. Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef: GRUNGE: a grand unified ATP challenge (2019)
  8. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Symmetric implication zroupoids and weak associative laws (2019)
  9. Ebner, Gabriel: Herbrand constructivization for automated intuitionistic theorem proving (2019)
  10. Goodman, Jeremy: Agglomerative algebras (2019)
  11. Greer, Mark: Simple right conjugacy closed loops (2019)
  12. Gutiérrez, Raúl; Lucas, Salvador: Automatic generation of logical models with AGES (2019)
  13. Jedlička, Přemysl; Pilitowska, Agata; Zamojska-Dzienio, Anna: The retraction relation for biracks (2019)
  14. Jipsen, Peter; Kinyon, Michael: Nonassociative right hoops (2019)
  15. Kinyon, Michael: Proof simplification and automated theorem proving (2019)
  16. Lucas, Salvador: Proving semantic properties as first-order satisfiability (2019)
  17. Padmanabhan, Ranganathan; Zhang, Yang: Commutativity theorems in groups with power-like maps (2019)
  18. Phillips, J. D.: Moufang and commutant elements in magmas (2019)
  19. Rawson, Michael; Reger, Giles: Old or heavy? Decaying gracefully with age/weight shapes (2019)
  20. Reis, Giselle; Woltzenlogel Paleo, Bruno: Complexity of translations from resolution to sequent calculus (2019)

1 2 3 ... 7 8 9 next