De Paiva, Valeria.
Paiva, Valeria de
Valeria Correa Vaz de Paiva
Valeria de Paiva Brazilian mathematician, logician, and computer scientist
Paiva, Valeria Correa Vaz de
VIAF ID: 14862612 ( Personal )
Permalink: http://viaf.org/viaf/14862612
Preferred Forms
- 100 1 _ ‡a De Paiva, Valeria
- 100 1 _ ‡a De Paiva, Valeria
-
-
-
-
- 200 _ | ‡a Paiva ‡b Valeria de
-
-
- 100 1 _ ‡a Paiva, Valeria de
- 100 0 _ ‡a Valeria Correa Vaz de Paiva
- 100 0 _ ‡a Valeria de Paiva ‡c Brazilian mathematician, logician, and computer scientist
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
Advances in Natural Deduction : A Celebration of Dag Prawitz's Work | |
Cut-elimination for full intuitionistic linear logic | |
The dialictica categories | |
From quirky case to representing space papers in honor of Annie Zaenen | |
Inheritance, Defaults and the Lexicon | |
Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings | |
OpenWordnet-PT | |
Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques | |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages. | |
Quelques liens entre logique Monadique du Second Ordre et théorie de la démonstration. | |
Some proof-theoretical approaches to Monadic Second-Order logic | |
Special issue: Intuitionistic modal logic and application | |
Towards constructive hybrid logic | |
A ¤linear specification language for Petri Nets |