Lyon, Tim
- Refining Labelled Systems for Modal and Constructive Logics with Applications
2021/07/30 by Lyon, Tim · 1 citation
#Artificial Intelligence (cs.AI) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic (math.LO) #Logic in Computer Science (cs.LO)