Vaston G. Costa

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 2

Top Topics

Optimal Solution

Quantum Mechanics

Expectation Maximization

Automatic Programming

Top Venues

Publications

Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa
Quantum Algorithm for Multiplicative Linear Logic. CoRR (2023)
Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa, Marcos Kalinowski
Non-Functional Requirements for Quantum Programs. Q-SET@QCE (2021)
Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Stud Logica 96 (1) (2010)
Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira
Peirce's Rule in a Full Natural Deduction System. LSFA (2009)
Vaston G. Costa, Edward Hermann Haeusler, Eduardo Sany Laber, Loana Tito Nogueira
A note on the size of minimal covers. Inf. Process. Lett. 102 (2-3) (2007)