Kurz, Alexander

1. Algebraic Theories over Nominal Sets
   2010/06/15 by Kurz, Alexander, Petrişan, Daniela, Velebil, Jiří · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
2. Relation Liftings on Preorders and Posets
   2012/10/04 by Bilkova, Marta, Kurz, Alexander, Petrisan, Daniela +1 · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
3. Simplified Coalgebraic Trace Equivalence
   2014/10/09 by Alexander Kurz, Kurz, Alexander, Stefan Milius +5 · 1 citation
   Computer Science · #F.1.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
4. Logic-Induced Bisimulations
   2020/08/21 by de Groot, Jim, Hansen, Helle Hvid, Kurz, Alexander · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
5. Stone Duality for Relations
   2019/12/18 by Alexander Kurz, Kurz, Alexander, Andrew Moshier +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
6. New perspectives on semi-primal varieties
   2023/01/31 by Kurz, Alexander, Poiger, Wolfgang, Teheux, Bruno · 1 citation
   #06E15 #06E75 #08A40 #08C05 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Rings and Algebras (math.RA)