References in zbMATH (referenced in 181 articles )

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

1 2 3 ... 8 9 10 next

  1. East, James; Gray, Robert D.: Ehresmann theory and partition monoids (2021)
  2. Jackson, Marcel; Stokes, Tim: Override and update (2021)
  3. Wehrung, Friedrich: Right-orderability versus left-orderability for monoids (2021)
  4. Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter: Relational characterisations of paths (2020)
  5. Cristiá, Maximiliano; Rossi, Gianfranco: Solving quantifier-free first-order constraints over finite sets and binary relations (2020)
  6. Didurik, Natalia; Shcherbacov, Victor: Units in quasigroups with classical Bol-Moufang type identities. (2020)
  7. Echenim, M.; Peltier, N.: Combining induction and saturation-based theorem proving (2020)
  8. Gil-Férez, José; Jipsen, Peter; Metcalfe, George: Structure theorems for idempotent residuated lattices (2020)
  9. Greer, Mark; Raney, Lee: Automorphic loops and metabelian groups. (2020)
  10. Jedlička, Přemysl; Pilitowska, Agata; Zamojska-Dzienio, Anna: The construction of multipermutation solutions of the Yang-Baxter equation of level 2 (2020)
  11. Lucas, Salvador: Using well-founded relations for proving operational termination (2020)
  12. Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl: The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (2020)
  13. Moghaddam, G. I.; Padmanabhan, R.; Zhang, Yang: Automated reasoning with power maps (2020)
  14. Araújo, João; Kinyon, Michael; Robert, Yves: Varieties of regular semigroups with uniquely defined inversion (2019)
  15. Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef: GRUNGE: a grand unified ATP challenge (2019)
  16. Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.: Symmetric implication zroupoids and weak associative laws (2019)
  17. Ebner, Gabriel: Herbrand constructivization for automated intuitionistic theorem proving (2019)
  18. Goodman, Jeremy: Agglomerative algebras (2019)
  19. Greer, Mark: Simple right conjugacy closed loops (2019)
  20. Gutiérrez, Raúl; Lucas, Salvador: Automatic generation of logical models with AGES (2019)

1 2 3 ... 8 9 10 next