Andréka, H.
- Transposition of variables is hard to describe
2024/09/06 by H. Andréka, Istvàn Németi, Andréka, H. +3 · 2 citations
Computer Science · #03B20 #03G15 #05E16 (Primary) 03F20 #08B15 (Secondary) #20M20 #51E15 #Advanced Algebra and Logic #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, Reasoning, and Knowledge