1
TÍTULO: A foundation for real recursive function theory  Full Text
AUTORES: Jose Felix Costa ; Bruno Loff ; Jerzy Mycka;
PUBLICAÇÃO: 2009, FONTE: 3rd Conference CiE 2007 - Computation and Logic in the Real World in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 160, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
2
TÍTULO: Differential equations, infinite limits and real recursive functions
AUTORES: Jose Felix Costa ; Bruno Loff ; Jerzy Mycka;
PUBLICAÇÃO: 2008, FONTE: Applied Computing Conference 2008 in COMPUTATIONAL METHODS AND APPLIED COMPUTING
INDEXADO EM: WOS
3
TÍTULO: Computability on reals, infinite limits and differential equations  Full Text
AUTORES: Bruno Loff ; Jose Felix Costa ; Jerzy Mycka;
PUBLICAÇÃO: 2007, FONTE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 191, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
4
TÍTULO: A new conceptual framework for analog computation  Full Text
AUTORES: Jerzy Mycka; Jose Felix Costa ;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 374, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
5
TÍTULO: The new promise of analog computation
AUTORES: Jose Felix Costa ; Bruno Loff ; Jerzy Mycka;
PUBLICAÇÃO: 2007, FONTE: 3rd Conference on Computability in Europe (CiE 2007) in COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, VOLUME: 4497
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6
TÍTULO: Undecidability over continuous time  Full Text
AUTORES: Jerzy Mycka; Jose Felix Costa ;
PUBLICAÇÃO: 2006, FONTE: Symposium on Models of Computation/Symposium on Logic and Computation in LOGIC JOURNAL OF THE IGPL, VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
7
TÍTULO: The <math><mi>P</mi><mo>&ne;</mo><mtext><italic>NP</italic></mtext></math> conjecture in the context of real and complex analysis   Full Text
AUTORES: Jerzy Mycka; José Félix Costa;
PUBLICAÇÃO: 2006, FONTE: Journal of Complexity, VOLUME: 22, NÚMERO: 2
INDEXADO EM: CrossRef
8
TÍTULO: Real recursive functions and their hierarchy  Full Text
AUTORES: Mycka, J; Costa, JF ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF COMPLEXITY, VOLUME: 20, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef