Graph explorer

Hans Tompits

Hans Tompits contributes to research discovery and scholarly infrastructure.

10 nodes9 linksoverview mapHans Tompits
10 nodes9 links
Hans Tompits10 visible / 10 total nodes / 9 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAHans TompitsResearcherWSequent-Type Calculi fo...preprint / 2020WCatching the Ouroboros:...preprint / 2010WThe SeaLion has Landed:...preprint / 2011WModularity Aspects of D...preprint / 2014WExtending Object-Orient...preprint / 2011WThe System Kato: Detect...preprint / 2010WEmbedding Non-Ground Lo...preprint / 2010WKara: A System for Visu...preprint / 2011WAnnotating Answer-Set P...preprint / 2012
PersonSignal 109 links

Hans Tompits

Researcher

Open