Edward Haeusler
Pontifícia Universidade Católica do Rio de Janeiro
H-index: 14
Latin America-Brazil
Top articles of Edward Haeusler
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Disjunctive Syllogism without Ex falso | Luiz Carlos Pereira Edward Hermann Haeusler Victor Nascimento | 2024/2/13 | |
On the Coverage Property of a Derivation Compression Algorithm | Robinson C de MB Filho Jefferson de B Santos Edward Hermann Haeusler | 2023/8/6 | |
Proofs of Equalities NP= coNP= PSPACE: Simplification | arXiv e-prints | Lev Gordeev Edward Hermann Haeusler | 2023/11 |
A benchmarking for public information by Machine Learning and Regular Language | Fernando Antonio Dantas Gomes Pinto Jefferson de Barros Santos Sérgio Lifschitz Edward Hermann Haeusler | 2023/8/6 | |
Intentional Semantics for Molecular Biology | Advances in Bioinformatics and Computational Biology: 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13–16, 2023, Proceedings | Maria L Guateque Diogo M Vieira Elvismary M de Armas Fernanda Baiao Marcos Catanho | 2023/9/1 |
Context-Aware Knowledge Graphs Exploratory Search | Veronica dos Santos Edward Hermann Haeusler Daniel Schwabe Sergio Lifschitz | 2023/9/25 | |
Quantum Algorithm for Multiplicative Linear Logic | arXiv preprint arXiv:2302.09169 | Lorenzo Saraiva Edward Hermann Haeusler Vaston Costa | 2023/2/17 |
A New Data Modeling Approach for Alignment-free Biological Applications | Diogo Munaro Vieira Elvismary Molina de Armas Maria LG Jaramillo Marcos Catanho Antonio B Miranda | 2023/9/25 | |
Deduction System and Non-monotonic Reasoning to an Intuitionistic Description Logic | Edward Hermann Haeusler | 2023/9 | |
On proof theory in computational complexity: overview | Lew Gordeev Edward Hermann Haeusler | 2022/1/9 | |
Bio-strings: a relational database data-type for dealing with large biosequences | BioTech | Sergio Lifschitz Edward H Haeusler Marcos Catanho Antonio B de Miranda Elvismary Molina de Armas | 2022/7/30 |
ENSIGHTS: Intelligent Monitoring of Electric Power Transmission Assets | ECIAIR 2022 4th European Conference on the Impact of Artificial Intelligence and Robotics | Alex de Vasconcellos Garcia Gabriel Resende Machado Carla Chrystina de C????????????????tro Pacheco Ferreira Edward Hermann Haeusler | 2022/11/17 |
Proof Compression and NP Versus PSPACE II: Addendum | Bulletion of the section of Logic | Lew Gordeev Edward Hermann Haeusler | 2022/1/7 |
On the horizontal compression of dag-derivations in minimal purely implicational logic | arXiv preprint arXiv:2206.02300 | Edward Hermann Haeusler José Flávio Cavalcante Barros Junior | 2022/6/6 |
Indexed and fibered structures for partial and total correctness assertions | Mathematical Structures in Computer Science | UE Wolter AR Martini Edward Hermann Häusler | 2022/10 |
Indexed and fibered structures for partial and total correctness assertions | Uwe Egbert Wolter Alfio Martini Edward Hermann Haeusler | 2022 | |
Jogos para o aprendizado de programação: como as modalidades mono e multijogadores afetam a motivação dos alunos? | Rodrigo Leite Edward Haeusler Jefferson Santos | 2022/4/24 | |
Towards a proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic | The Seventeenth International Workshop on Logical and Semantic Frameworks, with Applications September 23-24, 2022 | Robinson Callou de Moura Brasil Filho Jefferson de Barros Santos Edward Hermann Haeusler | 2022/9/23 |
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. | Bernardo Alkmim Edward Hermann Haeusler Cláudia Nalon | 2022 | |
A knowledge base of public acts based on the grammar of the Official Gazette | Fernando Antonio DG Pinto Sérgio Lifschitz Edward Hermann Haeusler | 2022/3/24 |