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

1. Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
   2024/07/23 by Barto, Libor, Kapytka, Maryia · 1 citation
   #03B50 #08A70 #08B05 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
2. Complexity Classification Transfer for CSPs via Algebraic Products
   2022/11/07 by Bodirsky, Manuel, Jonsson, Peter, Martin, Barnaby +2 · 2 citations
   #06A05 #08A70 #68Q25 #Computational Complexity (cs.CC) #F.2.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. What is algebraic about algebraic effects and handlers?
   2018/07/16 by Andrej Bauer, Bauer, Andrej · 2 voices · 1 citation
   Computer Science · #08A70 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.LO #cs.PL
4. Profinite topologies
   2018/04/21 by Almeida, Jorge, Costa, Alfredo · 1 citation
   #08A70 #08B20 #20E18 #20M05 #20M07 #20M35 #68Q70 #FOS: Mathematics #Group Theory (math.GR)
5. A complexity dichotomy for poset constraint satisfaction
   2016/02/29 by Kompatscher, Michael, Van Pham, Trung · 3 citations
   #03C05 #03C40 (primary) #06A07 #08A35 (secondary) #08A70 #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)
6. 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)
7. The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
   2013/07/25 by Rupel, Dylan, Spivak, David I. · 1 citation
   #08A70 #18B20 #18D50 #68Q05 #91B74 #92B20 #93A13 #B.5.2 #B.7.2 #C.0 #C.1 #Category Theory (math.CT) #D.2.2 #D.2.6 #D.3.3 #F.1.1 #F.4.3 #FOS: Biological sciences #FOS: Computer and information sciences #FOS: Mathematics #Neurons and Cognition (q-bio.NC) #Programming Languages (cs.PL)
8. The reducts of equality up to primitive positive interdefinability
   2008/10/13 by Manuel Bodirsky, Bodirsky, Manuel, Hubie Chen +3 · 1 citation
   Computer Science · Mathematics · #03C40 #03D15 #08A40 #08A70 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rings and Algebras (math.RA)