José Félix Costa

发表

Jerzy Mycka, José Félix Costa, J. Mycka, 2007, Theor. Comput. Sci..
Cristopher Moore, José Félix Costa, Manuel Lameiras Campagnolo, 2002, J. Complex..
Susan Stepney, Andrew Schumann, Cristian S. Calude, 2017, Progress in biophysics and molecular biology.
Cristian S. Calude, José Félix Costa, 2009, Natural Computing.
Jerzy Mycka, José Félix Costa, Bruno Loff, 2009, Ann. Pure Appl. Log..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2017 .
Cristopher Moore, José Félix Costa, Manuel Lameiras Campagnolo, 2000, J. Complex..
Jerzy Mycka, José Félix Costa, J. Mycka, 2004, J. Complex..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2014, Int. J. Unconv. Comput..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2014, Int. J. Found. Comput. Sci..
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1992, COMPASS/ADT.
Jerzy Mycka, José Félix Costa, Francisco Coelho, 2006, UC.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1993, MFCS.
Amílcar Sernadas, Paulo Blauth Menezes, José Félix Costa, 1997, US-Brazil Joint Workshops on the Formal Foundations of Software Systems.
José Luiz Fiadeiro, Amílcar Sernadas, T. S. E. Maibaum, 1991, COMPASS/ADT.
José Luiz Fiadeiro, José Félix Costa, 1994, COMPASS/ADT.
Jerzy Mycka, José Félix Costa, Bruno Loff, 2007, CiE.
José Félix Costa, 2019, Int. J. Unconv. Comput..
José Félix Costa, Hélia Guerra, Hélia Guerra, 2013, J. Log. Algebraic Methods Program..
José Félix Costa, Daniel Silva Graça, D. Graça, 2003, J. Complex..
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1994, Acta Informatica.
José Félix Costa, Hugo Lourenço, 2001, WADT.
Cristian S. Calude, José Félix Costa, Hélia Guerra, 2012, Appl. Math. Comput..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2013, J. Log. Comput..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2017 .
Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo, 1997, EUROCAST.
Jerzy Mycka, José Félix Costa, J. Mycka, 2005, Bull. EATCS.
Amílcar Sernadas, Paulo Blauth Menezes, José Félix Costa, 1995, EUROCAST.
Danilo Montesi, José Félix Costa, A. Lopes, 1994, ICLP Workshop: Process-Based Parallel Logic Programming.
Cristian S. Calude, José Félix Costa, 2010, Natural Computing.
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2018, Int. J. Unconv. Comput..
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1995, J. Log. Comput..
Cristian S. Calude, José Félix Costa, 2009, Appl. Math. Comput..
Hava T. Siegelmann, Pedro Rodrigues, José Félix Costa, 2001, IWANN.
José Félix Costa, Raimundo Leong, 2013, Theor. Comput. Sci..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2008, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2009, Mathematical Structures in Computer Science.
Jerzy Mycka, José Félix Costa, 2006, J. Complex..
José Luiz Fiadeiro, José Félix Costa, 1996, Math. Struct. Comput. Sci..
Edwin J. Beggs, José Félix Costa, John V. Tucker, 2010 .
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2014, The Review of Symbolic Logic.
Jerzy Mycka, José Félix Costa, Bruno Loff, 2007, Appl. Math. Comput..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2008, TAMC.
Amílcar Sernadas, José Félix Costa, A. Sernadas, 2005, Formal Aspects of Computing.
Jerzy Mycka, José Félix Costa, J. Mycka, 2006, Log. J. IGPL.
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2016, Mathematical Structures in Computer Science.
José Félix Costa, 2017, Int. J. Unconv. Comput..
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2013, UCNC.
Rudolf Freund, Cristian S. Calude, Grzegorz Rozenberg, 2008 .
Jerzy Mycka, José Félix Costa, Francisco Coelho, 2008, Int. J. Unconv. Comput..
José Félix Costa, Nachum Dershowitz, 2011, Natural Computing.
Hava T. Siegelmann, José Félix Costa, João Pedro Neto, 1998 .
Hava T. Siegelmann, José Félix Costa, João Pedro Guerreiro Neto, 2003, J. Braz. Comput. Soc..
Edwin J. Beggs, José Félix Costa, E. Beggs, 2012, Special Sciences and the Unity of Science.
Jerzy Mycka, José Félix Costa, J. Mycka, 2004, MCU.
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2008, UC.
José Félix Costa, 2015, Parallel Process. Lett..
Paulo Blauth Menezes, José Félix Costa, P. Menezes, 1996, Fundam. Informaticae.
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2012, Math. Struct. Comput. Sci..
José Félix Costa, Hélia Guerra, Hélia Guerra, 2009, J. Log. Algebraic Methods Program..
Paulo Carreira, José Félix Costa, João Pedro Neto, 1998 .
José Félix Costa, João Pedro Neto, 1999 .
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2009, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
José Luiz Fiadeiro, José Félix Costa, Carlos Paredes, 1996 .
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1992, MFCS.
Edwin J. Beggs, J. V. Tucker, José Félix Costa, 2009, Bull. EATCS.
Helder Coelho, José Félix Costa, João Pedro Guerreiro Neto, 1997, IWANN.
Francisco A. Doria, José Félix Costa, F. Doria, 2006, Appl. Math. Comput..
José Félix Costa, José Pacheco, José Pacheco, 2007, UC.
José Félix Costa, Bruno Loff, B. Loff, 2009, Int. J. Unconv. Comput..
José Félix Costa, João Alves Alírio, Luís Filipe Fonseca, 2021, Handbook of Unconventional Computing.
J. V. Tucker, José Félix Costa, E. Beggs, 2009 .
J. V. Tucker, José Félix Costa, E. Beggs, 2010 .
J. V. Tucker, José Félix Costa, E. Beggs, 2012, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
J. V. Tucker, José Félix Costa, E. Beggs, 2017 .
J. V. Tucker, José Félix Costa, E. Beggs, 2016 .
José Félix Costa, 2012 .
José Félix Costa, Lúıs Mendes Gomes, L. M. Gomes, 2007 .
Cristopher Moore, Manuel L. Campagnolo, José Félix Costa, 2000 .
José Félix Costa, J. Mycka, 2006 .
José Félix Costa, C. Moore, M. Campagnolo, 1998 .
José Félix Costa, Diogo Poças, 2017 .
Danilo Montesi, José Félix Costa, Jose Felix Costa, 1996 .
J. V. Tucker, José Félix Costa, E. Beggs, 2009 .
José Félix Costa, Diogo Poças, 2017, Axiomathes.
Cristian S. Calude, Mohammad Mahdi Dehshibi, José Félix Costa, 2017, Progress in biophysics and molecular biology.