dblp.uni-trier.dewww.uni-trier.de

Valeria de Paiva Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
29EEGrigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009)
2008
28EEOlga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. J. Log. Comput. 18(3): 385-404 (2008)
2007
27EEValeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy H. King, Lauri Karttunen, Rowan Nairn, Annie Zaenen: Textual Inference Logic: Take Two. C&O:RR 2007
26EEPatrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
2006
25 Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. FLAIRS Conference 2006: 670-675
24EETorben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)
2005
23EEMaria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter: Relating Categorical Semantics for Intuitionistic Linear Logic. Applied Categorical Structures 13(1): 1-36 (2005)
2004
22EEValeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
21EEValeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
20EEAndrea Schalk, Valeria de Paiva: Poset-valued sets or how to build models for linear logics. Theor. Comput. Sci. 315(1): 83-107 (2004)
2003
19EEValeria de Paiva: Natural Deduction and Context as (Constructive) Modality. CONTEXT 2003: 116-129
18 Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva: Knowledge Tracking: Answering Implicit Questions. New Directions in Question Answering 2003: 58-61
2002
17EEJohn O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard S. Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi: Making ontologies work for resolving redundancies across documents. Commun. ACM 45(2): 55-60 (2002)
2001
16EENatasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
15EECleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg: Preventing existence. FOIS 2001: 162-173
2000
14EEMaria Emilia Maietti, Valeria de Paiva, Eike Ritter: Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237
13EENeil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): (2000)
12 Gavin M. Bierman, Valeria de Paiva: On an Intuitionistic Modal Logic. Studia Logica 65(3): 383-416 (2000)
1999
11 Neil Ghani, Valeria de Paiva, Eike Ritter: Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211
1998
10EEValeria de Paiva, Andrea Schalk: Building Models of Linear Logic. AMAST 1998: 164-177
9EENeil Ghani, Valeria de Paiva, Eike Ritter: Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754
8 P. N. Benton, Gavin M. Bierman, Valeria de Paiva: Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998)
1997
7EETorben Braüner, Valeria de Paiva: A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148
6EEEike Ritter, Valeria de Paiva: On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258
1993
5 Monica Nesi, Valeria de Paiva, Eike Ritter: Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275
4 P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90
3 Martin Hyland, Valeria de Paiva: Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Logic 64(3): 273-291 (1993)
1992
2EEP. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84
1989
1 Valeria de Paiva: A Dialectica-like Model of Linear Logic. Category Theory and Computer Science 1989: 341-356

Coauthor Index

1Natasha Alechina [16]
2Nick Benton (P. N. Benton) [2] [4] [8]
3Martin van den Berg [15] [17]
4Gavin M. Bierman [2] [4] [8] [12]
5Patrick Blackburn [26]
6Daniel G. Bobrow [15] [17] [18] [27]
7Thomas Bolander [26]
8Torben Braüner [7] [24] [26]
9Cleo Condoravdi [15] [17] [18] [27]
10Dick Crouch [15] [27]
11Richard S. Crouch [17] [18] [25] [28]
12John O. Everett [15] [17]
13Neil Ghani [9] [11] [13]
14Rajeev Goré [21] [22]
15Olga Gurevich [25] [28]
16Martin Hyland (J. M. E. Hyland) [2] [3] [4]
17Lauri Karttunen [27]
18Tracy H. King [25] [27] [28]
19Maria Emilia Maietti [14] [23]
20Paola Maneggia [23]
21Michael Mendler [16] [21] [22]
22Grigori Mints [29]
23Rowan Nairn [27]
24Monica Nesi [5]
25Livia Polanyi [17]
26Ruy J. G. B. de Queiroz [29]
27Eike Ritter [5] [6] [9] [11] [13] [14] [16] [23]
28Andrea Schalk [10] [20]
29Reinhard Stolle [15] [17] [18]
30Jørgen Villadsen [26]
31Annie Zaenen [27]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)