Jackson, Marcel
- Nonfinitely based ai-semirings with finitely based semigroup reducts
2021/12/27 by Jackson, Marcel, Ren, Miaomiao, Zhao, Xianzhong · 5 citations
#05C65 #16Y60 #20M07 #Combinatorics (math.CO) #FOS: Mathematics #G.2.2 #Group Theory (math.GR) #Logic (math.LO)
- Monoid varieties with extreme properties
2015/11/25 by Jackson, Marcel, Lee, Edmond W. H. · 2 citations
#20M05 #20M07 #FOS: Mathematics #Group Theory (math.GR)
- Monoids with tests and the algebra of possibly non-halting programs
2014/08/19 by Jackson, Marcel, Stokes, Tim · 1 citation
#08A70 #20M20 #20M30 #68Q60 #F.3.1 #F.3.2 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- The algebra of functions with antidomain and range
2014/10/15 by Hirsch, Robin, Jackson, Marcel, Mikulás, Szabolcs · 1 citation
#03G15 #08A02 #20M20 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)