Graph explorer

Mark Kaminski

Mark Kaminski contributes to research discovery and scholarly infrastructure.

7 nodes6 linksoverview previewMark Kaminski
7 nodes6 links
Mark Kaminski7 visible / 7 total nodes / 6 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMark KaminskiResearcherWA Minimal Propositional...preprint / 2010WCorrectness of an Incre...preprint / 2012WDatalog Rewritability o...preprint / 2014WComputing Horn Rewritin...preprint / 2015WTerminating Tableaux fo...preprint / 2011WOntology Module Extract...preprint / 2014
PersonSignal 106 links

Mark Kaminski

Researcher

Open