Martin Otto
- Graded modal logic and counting bisimulation
2019/09/30 by Martin Otto, Otto, Martin · 8 citations
Computer Science · #03B45 #03B70 #03C07 #03C98 #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
- Low Resistive Edge Contacts to CVD‐Grown Graphene Using a CMOS Compatible Metal
2017/07/05 by Mehrdad Shaygan, Martin Otto, Abhay A. Sagade +4 · 8 citations
Materials Science · #Graphene research and applications #Carbon Nanotubes in Composites #2D Materials and Applications
- Acyclicity in finite groups and groupoids
2018/06/22 by Martin Otto, Otto, Martin · 1 citation
Computer Science · Mathematics · #semigroups and automata theory #Geometric and Algebraic Topology #Finite Group Theory Research
- A First-Order Framework for Inquisitive Modal Logic
2019/06/12 by Silke Meißner, Meißner, Silke, Martin Otto +1 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Advanced Algebra and Logic
- Amalgamation and Symmetry: From Local to Global Consistency in The Finite
2017/08/31 by Martin Otto, Otto, Martin · 1 citation
Computer Science · #05C65 #05E18 #20B25 #20F05 #20L05 #57M12 #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #FOS: Mathematics