Search Results - Haeusler, Edward H.

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Bio-Strings: A Relational Database Data-Type for Dealing with Large Biosequences

    Bio-Strings: A Relational Database Data-Type for Dealing with Large Biosequences by Lifschitz, Sergio, Haeusler, Edward H., Catanho, Marcos, de Miranda, Antonio B., Molina de Armas, Elvismary, Heine, Alexandre, Moreira, Sergio G. M. P., Tristão, Cristian

    Published in Biotech (Basel)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH

    DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH by GIOVANNINI, EDUARDO N., HAEUSLER, EDWARD H., LASSALLE-CASANAVE, ABEL, VELOSO, PAULO A. S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu

    A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu by Lima, Guilherme F., Santos, Rodrigo C.M., Ierusalimschy, Roberto, Haeusler, Edward H., Sant’Anna, Francisco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic

    A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic by Pereira, L. C., Haeusler, E. H., Costa, V. G., Sanz, W.

    Published in Studia logica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Defining Effectiveness Using Finite Sets A Study on Computability

    Defining Effectiveness Using Finite Sets A Study on Computability by Macedo, Hugo D., Haeusler, Edward H., Garcia, Alex

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Peirce's Rule in a Full Natural Deduction System

    Peirce's Rule in a Full Natural Deduction System by Costa, Vaston G., Sanz, Wagner, Haeusler, Edward H., Pereira, Luiz C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    PUC-Logic embedding of Lewis' Deontic Logics

    PUC-Logic embedding of Lewis' Deontic Logics by Fernandes, Ricardo Q A, Haeusler, Edward H, Pereira, Luiz Carlos

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Intuitionistic PUC-Logic for Constructive Counterfactuals

    Intuitionistic PUC-Logic for Constructive Counterfactuals by Fernandes, Ricardo Q A, Haeusler, Edward H, Pereira, Luiz Carlos

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    A Formal Approach to Real-Time Object Oriented Software

    A Formal Approach to Real-Time Object Oriented Software by Carvalho, Sérgio E., Fiadeiro, José L., Haeusler, Edward H.

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Propositional dynamic logic for Petri nets

    Propositional dynamic logic for Petri nets by Lopes, B., Benevides, M., Haeusler, E. H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Finitely many-valued logics and natural deduction

    Finitely many-valued logics and natural deduction by Englander, C., Haeusler, E. H., Pereira, L. C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Intuitionistic Description Logic and Legal Reasoning

    Intuitionistic Description Logic and Legal Reasoning by Haeusler, E. H., de Paiva, V., Rademaker, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Using the Internal Logic of a Topos to Model Search Spaces for Problems

    Using the Internal Logic of a Topos to Model Search Spaces for Problems by do Amaral, Fernando Náufel, Haeusler, Edward Hermann

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Code migration and program maintainability — A categorical perspective

    Code migration and program maintainability — A categorical perspective by de V. Garcia, Alex, Haeusler, Edward Hermann

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    A Concrete Categorical Model for the Lambek Syntactic Calculus

    A Concrete Categorical Model for the Lambek Syntactic Calculus by Da Silva Corrêa, Marcelo, Haeusler, Edward Hermann

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: