Lohmann, Peter

1. Complexity of Model Checking for Modal Dependence Logic
   2011/04/06 by Johannes Ebbing, Ebbing, Johannes, Peter Lohmann +1 · 2 citations
   Computer Science · #Computational Complexity (cs.CC) #D.2.4 #F.2.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.CC #cs.LO
2. Complexity Results for Modal Dependence Logic
   2011/04/04 by Peter Lohmann, Lohmann, Peter, Heribert Vollmer +1 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #F.2.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO