Showing 1 - 3 results of 3 for search 'Brigitte Pientka (Internal/Supervisor)', query time: 0.04s Refine Results
  1. 1
    A path characterization of validity for multimodal logics
    by Heilala, Samuli
    Published 2009
    Other Authors: “...Brigitte Pientka (Internal/Supervisor)...”
    Get full text
    Others
  2. 2
    Implementation of a dependently typed functional programming language
    by Germain, Renaud
    Published 2010
    Other Authors: “...Brigitte Pientka (Internal/Supervisor)...”
    Get full text
    Others
  3. 3
    Proof theoretical foundations for constructive Description Logic
    by Clément, Ian
    Published 2008
    Other Authors: “...Brigitte Pientka (Internal/Supervisor)...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search