Showing 1 - 20 results of 56 for search 'EDWARD HERMANN HAEUSLER', query time: 0.12s Refine Results
  1. 1
    Propositional Logics Complexity and the Sub-Formula Property
    by Edward Hermann Haeusler
    Published 2015-04-01
    Get full text
    Article
  2. 2
    Finiteness and Computation in Toposes
    by Edward Hermann Haeusler
    Published 2016-03-01
    Get full text
    Article
  3. 3
    Proof Compression and NP Versus PSPACE II
    by Lew Gordeev, Edward Hermann Haeusler
    Published 2020-11-01
    Get full text
    Article
  4. 4
    Two basic results on translations between logics
    by Edward Hermann Haeusler, Luiz Carlos Pereira
    Published 2016-12-01
    Get full text
    Article
  5. 5
    Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
    Get full text
    Article
  6. 6
    Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
    Get full text
    Article
  7. 7
    Proof-graphs for Minimal Implicational Logic
    Get full text
    Article
  8. 8
    [en] AN APPROACH TO MODEL, STORE AND ACCESS BIOLOGICAL SEQUENCES
    by CRISTIAN TRISTAO
    Published 2013
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  9. 9
    [en] INTEGRATING INTENTIONAL MODELING TO PROCESS MODELING
    by HENRIQUE PRADO SOUSA
    Published 2012
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  10. 10
    [en] TRUST IN INTELLIGENT AGENTS
    by JULIANA CARPES IMPERIAL
    Published 2008
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  11. 11
    [en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
    by CECILIA REIS ENGLANDER LUSTOSA
    Published 2015
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  12. 12
    [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
    by BRUNO LOPES VIEIRA
    Published 2015
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  13. 13
    [en] FORMAL ANALYSIS OF SOFTWARE MODELS ORIENTED BY ARCHITECTURAL ABSTRACTIONS
    by MARCELO FAGUNDES FELIX
    Published 2004
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  14. 14
    [en] TOPOS-BASED MODEL THEORY FOR HEURISTICS
    by FERNANDO NAUFEL DO AMARAL
    Published 2004
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  15. 15
    [en] TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC
    by JULIANA CARPES IMPERIAL
    Published 2004
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  16. 16
    [en] LOGIC PROOFS COMPACTATION
    by VASTON GONCALVES DA COSTA
    Published 2007
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  17. 17
    [en] FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH
    by CARLOS BAZILIO MARTINS
    Published 2006
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  18. 18
    [en] A CONCEPTUAL MODEL FOR MOLECULAR BIOLOGY
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  19. 19
    [en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES
    by BRUNO SCHROEDER
    Published 2017
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
  20. 20
    [en] PATIENT-BUDDY-BUILD: CUSTOMIZED MOBILE MONITORING FOR PATIENTS WITH CHRONIC DISEASES
    by VITOR PINHEIRO DE ALMEIDA
    Published 2017
    Other Authors: “...EDWARD HERMANN HAEUSLER...”
    Get full text
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search