Vaston G. Costa

According to our database, Vaston G. Costa authored at least 5 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Quantum Algorithm for Multiplicative Linear Logic.

Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa

CoRR, 2023

2021

Non-Functional Requirements for Quantum Programs.

Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa, Marcos Kalinowski

Proceedings of the Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), 2021

2010

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.

Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz

Stud Logica, 2010

2009

Peirce's Rule in a Full Natural Deduction System.

Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2007

A note on the size of minimal covers.

Vaston G. Costa, Edward Hermann Haeusler, Eduardo Sany Laber, Loana Tito Nogueira

Inf. Process. Lett., 2007