المؤلفون: Pinto, Fernando Antonio D G, Lifschitz, Sergio, Haeusler, Edward Hermann

المصدر: 2022 International Conference on Digital Government Technology and Innovation (DGTi-CON) Digital Government Technology and Innovation (DGTi-CON), 2022 International Conference on. :24-29 Mar, 2022

Relation: 2022 International Conference on Digital Government Technology and Innovation (DGTi-CON)

المؤلفون: Saraiva, Lorenzo, Haeusler, Edward Hermann, Costa, Vaston

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2302.09169

المؤلفون: Pereira, Luiz Carlos^Aff4, Haeusler, Edward Hermann^Aff5, Nascimento, Victor^Aff6

المساهمون: Hansson, Sven Ove, Editor-in-Chief^Aff1, Piecha, Thomas, editor^Aff2, Wehmeier, Kai F., editor^Aff3

المصدر: Peter Schroeder-Heister on Proof-Theoretic Semantics. 29:193-209

المؤلفون: Haeusler, Edward Hermann, Junior, José Flávio Cavalcante Barros, Robinson

المصدر: Part of a previous version of this compression algorithm was published in Studia Logica 107(1), pp.55-83, 2019. Part of the paper was published in pre-proceedings of LSFA2022

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2206.02300

المؤلفون: Cuconato, Bruno, Santos, Jefferson de Barros, Haeusler, Edward Hermann

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2106.13843

المؤلفون: Reis, Ruhan Dos, Endler, Markus, de Almeida, Vitor Pinheiro, Haeusler, Edward Hermann

المصدر: 2019 IEEE 13th International Conference on Semantic Computing (ICSC) Semantic Computing (ICSC), 2019 IEEE 13th International Conference on. :166-169 Jan, 2019

Relation: 2019 IEEE 13th International Conference on Semantic Computing (ICSC)

المؤلفون: Haeusler, Edward H.^Aff9, Cuconato, Bruno^Aff9, Glatzl, Luiz A.^Aff9, Guateque, Maria L.^Aff9, Vieira, Diogo M.^Aff9, de Armas, Elvismary M.^Aff9, Baião, Fernanda^Aff10, Catanho, Marcos^Aff11, de Miranda, Antonio B.^Aff11, Lifschitz, Sergio^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Reis, Marcelo S., editor^Aff7, de Melo-Minardi, Raquel C., editor^Aff8

المصدر: Advances in Bioinformatics and Computational Biology : 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13–16, 2023, Proceedings. 13954:94-105

المؤلفون: Haeusler, Edward Hermann

مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2101.00003

المؤلفون: Haeusler, Edward Hermann

مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2012.07833

المؤلفون: Haeusler, Edward Hermann

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2009.09802