Brünnler, Kai
- Nested Sequents
2010/04/11 by Kai Brünnler, Brünnler, Kai · 1 citation
Computer Science · #03B45 #03F07 #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 #Semantic Web and Ontologies