Cristina Sernadas

发表

Cristina Sernadas, João Rasga, Amílcar Sernadas, 2013, J. Appl. Log..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2012, J. Log. Comput..
Cristina Sernadas, João Rasga, C. Sernadas, 2020 .
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1990, J. Inf. Process. Cybern..
Cristina Sernadas, Paula Gouveia, 1993 .
Helder Coelho, Cristina Sernadas, Graça Gaspar, 1987, Appl. Artif. Intell..
José Luiz Fiadeiro, Cristina Sernadas, C. Sernadas, 1991, Data Knowl. Eng..
Cristina Sernadas, Walter Carnielli, Alberto Zanardo, 2004 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2016, Log. J. IGPL.
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1988, OODBS.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2017, Log. J. IGPL.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1988, FSTTCS.
Cristina Sernadas, Amílcar Sernadas, Luís Cruz-Filipe, 2008, Log. J. IGPL.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1992, COMPASS/ADT.
Cristina Sernadas, Amílcar Sernadas, José Manuel Valença, 1994, COMPASS/ADT.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1993, MFCS.
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli, 2002, J. Symb. Log..
Dov M. Gabbay, Cristina Sernadas, Marcelo E. Coniglio, 2008 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2008, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1987, VLDB.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2013, Stud Logica.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1994, Acta Informatica.
Cristina Sernadas, Amílcar Sernadas, Paula Gouveia, 1992, ISCO.
Cristina Sernadas, Paula Gouveia, 1998, Advances in Modal Logic.
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 1997, Stud Logica.
Cristina Sernadas, João Rasga, Karina Roggia, 2010, Log. J. IGPL.
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli, 2009, Math. Log. Q..
Cristina Sernadas, Antónia Lopes, Paula Gouveia, 1990, DAISD.
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 2005, We Will Show Them!.
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 1998, WADT.
Robert Meersman, José Luiz Fiadeiro, Cristina Sernadas, 1989, ISCO.
Cristina Sernadas, Amílcar Sernadas, Alberto Zanardo, 2001, Journal of Symbolic Logic.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1989, ISCO.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1987, Temporal Logic in Specification.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2009, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1995, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, Paulo Mateus, 1999, WADT.
Cristina Sernadas, Rogério Carapuça, 1987, Comput. J..
Cristina Sernadas, Paula Gouveia, 1993, DAISD.
Cristina Sernadas, Amílcar Sernadas, Marcelo E. Coniglio, 2011, J. Log. Comput..
Dov M. Gabbay, Cristina Sernadas, Marcelo E. Coniglio, 2008 .
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 1998, Acta Informatica.
Cristina Sernadas, Antónia Lopes, Paula Gouveia, 1991, FMLDO.
Cristina Sernadas, Amílcar Sernadas, Paulo Mateus, 1999, FLAIRS.
Tom Maibaum, José Luiz Fiadeiro, Cristina Sernadas, 1992 .
Cristina Sernadas, Amílcar Sernadas, Paulo Mateus, 1999, CTCS.
Cristina Sernadas, Amílcar Sernadas, Jaime Ramos, 2009 .
Cristina Sernadas, Amílcar Sernadas, 1994, DAISD.
Cristina Sernadas, Amílcar Sernadas, Jaime Ramos, 1996, Data Knowl. Eng..
Gunter Saake, Cristina Sernadas, Jaime Ramos, 1998 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, Logica Universalis.
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 1999, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, João Pedro Sousa, 1990, Comput. Graph..
Cristina Sernadas, Amílcar Sernadas, Walter Alexandre Carnielli, 2003, J. Log. Lang. Inf..
Gunter Saake, Cristina Sernadas, Jaime Ramos, 1998, Logics for Databases and Information Systems.
Cristina Sernadas, João Rasga, Jaime Ramos, 2020, Logica Universalis.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1990, Inf. Syst..
Cristina Sernadas, Amílcar Sernadas, Alberto Zanardo, 2002, Log. J. IGPL.
Dov M. Gabbay, Cristina Sernadas, Marcelo E. Coniglio, 2008 .
Cristina Sernadas, João Rasga, C. Sernadas, 2020 .
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1988, Categorial Methods in Computer Science.
Luca Viganò, Cristina Sernadas, João Rasga, 2002, FroCoS.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1986, ADT.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, Marcelo E. Coniglio, 2003, J. Log. Comput..
Luca Viganò, Cristina Sernadas, João Rasga, 2002, J. Log. Comput..
Dov M. Gabbay, Cristina Sernadas, Marcelo E. Coniglio, 2008 .
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli, 2008, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, Paulo Mateus, 2006, Essays Dedicated to Joseph A. Goguen.
Cristina Sernadas, Jaime Ramos, Pedro Baltazar, 2006 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, Stud Logica.
Gunter Saake, Cristina Sernadas, Ralf Jungclaus, 1991, MFDBS.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2016, Rev. Symb. Log..
Cristina Sernadas, Amílcar Sernadas, A. Sernadas, 1985, ER.
Pierre-Yves Schobbens, Gunter Saake, Cristina Sernadas, 2002, Inf. Process. Lett..
Luca Viganò, Cristina Sernadas, João Rasga, 2019, ArXiv.
Cristina Sernadas, João Rasga, Wafik Boulos Lotfallah, 2013, Math. Log. Q..
Gunter Saake, Cristina Sernadas, Thorsten Hartmann, 1996, TOIS.
Dov M. Gabbay, Cristina Sernadas, Marcelo E. Coniglio, 2008 .
Cristina Sernadas, Till Mossakowski, Carlos Caleiro, 2000 .
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1988, ADT.
António Pacheco, Cristina Sernadas, Amílcar Sernadas, 2003, Theor. Comput. Sci..
Helder Coelho, Cristina Sernadas, Graça Gaspar, 1987, Appl. Artif. Intell..
Cristina Sernadas, Amílcar Sernadas, A. Sernadas, 2003 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2012, Stud Logica.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1992, MFCS.
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 1997, AMAST.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1988, DS-3.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2009, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2011, Logica Universalis.
António Pacheco, Cristina Sernadas, Amílcar Sernadas, 2001, Annals of Mathematics and Artificial Intelligence.
Cristina Sernadas, João Rasga, Paulo Mateus, 2005, Log. J. IGPL.
Luca Viganò, Cristina Sernadas, Amílcar Sernadas, 2004, Log. J. IGPL.
Cristina Sernadas, Amílcar Sernadas, 1985, Foundations of Knowledge Base Management.
Gunter Saake, José Luiz Fiadeiro, Cristina Sernadas, 1990, DS-4.
Cristina Sernadas, João Rasga, Walter Carnielli, 2005 .
Cristina Sernadas, Amílcar Sernadas, Paula Gouveia, 1992, Specifications of Database Systems.
Cristina Sernadas, Amílcar Sernadas, Marcelo E. Coniglio, 2000 .
Cristina Sernadas, Amílcar Sernadas, A. Sernadas, 1987 .
Luca Viganò, Cristina Sernadas, João Rasga, 2003, J. Appl. Non Class. Logics.
Cristina Sernadas, João Rasga, Jaime Ramos, 2021, J. Log. Algebraic Methods Program..
Cristina Sernadas, lcar Sernadas, 1995 .
Cristina Sernadas, Amílcar Sernadas, 2008 .
Cristina Sernadas, Marcelo E. Coniglio, 2002 .
Rohit Chadha, Cristina Sernadas, Amílcar Sernadas, 2009 .
Cristina Sernadas, Amilcar Sernadas, A. Sernadas, 2016, 1601.02915.
Cristina Sernadas, C. Sernadas, 2007 .
Dov M. Gabbay, Cristina Sernadas, Marcelo E. Coniglio, 2008 .
Cristina Sernadas, 2007 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2015 .