Methods that may stimulate creativity and their use in architectural design education von Kowaltowski, Doris C. C. K., Bianchi, Giovana, de Paiva, Valéria Teixeira

Volltext

An ecumenical notion of entailment von Pimentel, Elaine, Pereira, Luiz Carlos, de Paiva, Valeria

Volltext

Curing the SICK and Other NLI Maladies von Kalouli, Aikaterini-Lida, Hu, Hai, Webb, Alexander F., Moss, Lawrence S., de Paiva, Valeria

Volltext

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings von de Paiva, Valeria, de Queiroz, Ruy, Moss, Lawrence S, Leivant, Daniel, de Oliveira, Anjolina G

Volltext

On the Lambek Calculus with an Exchange Modality von Jiang, Jiaming, Eades, Harley, de Paiva, Valeria

Volltext

Dialectical categories, cardinalities of the continuum and combinatorics of ideals von da Silva, Samuel G., de Paiva, Valeria C. V.

Volltext

The ILLTP Library for Intuitionistic Linear Logic von Olarte, Carlos, de Paiva, Valeria, Pimentel, Elaine, Reis, Giselle

Volltext

22nd Workshop on Logic, Language, Information and Computation ( WoLLIC 2015 ) von Paiva, Valeria de, Moss, Larry, Leivant, Daniel, Queiroz, Ruy de

Volltext

Terrain Vagues e mutações na análise espacial urbana: abordando a sustentabilidade von Valeria Teixeira de Paiva

Volltext

Dialectica principles via Gödel doctrines von Trotta, Davide, Spadetto, Matteo, de Paiva, Valeria

Volltext

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work von Pereira, Luiz Carlos, Haeusler, Edward, de Paiva, Valeria

Volltext

Going Without: A Linear Modality and its Role: Invited Talk at the Ninth Workshop on Mathematically Structured Functional Programming von de Paiva, Valeria

Volltext

Dialectica logical principles: not only rules von Trotta, Davide, Spadetto, Matteo, de Paiva, Valeria

Volltext

Integração com a Atenção Primária à Saúde: Experiência de uma Unidade de Referência em Cuidados Paliativos Oncológicos von Fonseca, Dolores Ferreira, Borsatto, Alessandra Zanei, Vaz, Danielle Copello, Santos, Rita de Cássia de Jesus, Cypriano, Valéria de Paiva, Pinto, Denise Cristina de Sequeira, Probstner, Danièlle, Pinto, Cristhiane da Silva, Teixeira, Djanyr Garcia, Machado, Mariana, Pires, Anne Caroline da Fonseca, Tintureiro, Fábia Ribeiro Sales, Sampaio, Simone Garruth dos Santos Machado

Volltext

Deriving Theorems in Implicational Linear Logic, Declaratively von Tarau, Paul, de Paiva, Valeria

Volltext

Translations and Prawitz’s Ecumenical System von Pereira, Luiz Carlos, Pimentel, Elaine, de Paiva, Valeria

Volltext

morte e o processo de morrer: ainda é preciso conversar sobre isso von Lima, Roberta de, Borsatto, Alessandra Zanei, Vaz, Danielle Copello, Pires, Anne Caroline da Fonseca, Cypriano, Valéria de Paiva, Ferreira, Márcia de Assunção

Volltext

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications: Preface von Dal Lago, Ugo, de Paiva, Valeria

Volltext

Intuitionistic Modal Logic: A 15-year retrospective von Stewart, Charles, de Paiva, Valeria, Alechina, Natasha

Volltext

Multiple conclusion linear logic: cut elimination and more von Eades III, Harley, de Paiva, Valeria

Volltext