Šemrl, Jaš
- Representable and diagonally representable weakening relation algebras
2023/01/05 by Peter Jipsen, Jipsen, Peter, Jaš Šemrl +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems