vix.ing · top · new · best · stats · spec

Jackson, Marcel

  1. 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)
  2. 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)
  3. 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)
  4. 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)