Graph explorer

Martin Mundhenk

Martin Mundhenk contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewMartin Mundhenk
8 nodes7 links
Martin Mundhenk8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartin MundhenkResearcherWThe model checking prob...preprint / 2011WIntuitionistic implicat...preprint / 2012WThe Complexity of Satis...preprint / 2009WThe Tractability of Mod...preprint / 2008WThe Complexity of Plan ...preprint / 2013WModel Checking CTL is A...preprint / 2011WThe model checking fing...preprint / 2015
PersonSignal 107 links

Martin Mundhenk

Researcher

Open