Peter Lohmann
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Boolean dependence logic and partially-ordered connectives Journal of Computer and System Sciences | 2017-06-30 | Paper |
| Complexity of two-variable dependence logic and IF-logic Information and Computation | 2014-11-28 | Paper |
| Boolean dependence logic and partially-ordered connectives Logic, Language, Information, and Computation | 2013-09-17 | Paper |
| Boolean dependence logic and partially-ordered connectives Logic, Language, Information, and Computation | 2013-09-17 | Paper |
| Complexity results for modal dependence logic Studia Logica | 2013-06-13 | Paper |
| Model checking for modal intuitionistic dependence logic Logic, Language, and Computation | 2013-04-12 | Paper |
| Complexity of model checking for modal dependence logic SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
| Complexity Results for Modal Dependence Logic Computer Science Logic | 2010-09-03 | Paper |
Research outcomes over time
This page was built for person: Peter Lohmann
