Showing 1 - 2 results of 2 for search 'Gert Smolka', query time: 0.03s Refine Results
  1. 1
    Analytic Tableaux for Simple Type Theory and its First-Order Fragment

    Analytic Tableaux for Simple Type Theory and its First-Order Fragment by Chad E. Brown, Gert Smolka

    Published 2010-06-01
    Get full text
    Article
  2. 2
    Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

    Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies by Mark Kaminski, Sigurd Schneider, Gert Smolka

    Published 2011-03-01
    Get full text
    Article

Search Tools: