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

João Rasga

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEWalter Alexandre Carnielli, João Rasga, Cristina Sernadas: Preservation of Interpolation Features by Fibring. J. Log. Comput. 18(1): 123-151 (2008)
2007
7EEPaulo Mateus, F. Moura, João Rasga: Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. ICQNM 2007: 9
6EEJoão Rasga: Sufficient conditions for cut elimination with complexity analysis. Ann. Pure Appl. Logic 149(1-3): 81-99 (2007)
2005
5EEPaulo Mateus, João Rasga, Cristina Sernadas: Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. Logic Journal of the IGPL 13(2): 173-199 (2005)
2003
4 Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas: Truth-values as Labels: A General Recipe for Labelled Deduction. Journal of Applied Non-Classical Logics 13(3-4): 277-315 (2003)
2002
3EEJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Labelled Deduction over Algebras of Truth-Values. FroCos 2002: 222-238
2EEJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Fibring Labelled Deduction Systems. J. Log. Comput. 12(3): 443-473 (2002)
1 Cristina Sernadas, João Rasga, Walter Alexandre Carnielli: Modulated Fibring and The Collapsing Problem. J. Symb. Log. 67(4): 1541-1569 (2002)

Coauthor Index

1Walter Alexandre Carnielli [1] [8]
2Paulo Mateus [5] [7]
3F. Moura [7]
4Amílcar Sernadas [2] [3] [4]
5Cristina Sernadas [1] [2] [3] [4] [5] [8]
6Luca Viganò [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)