1
TITLE: A foundation for real recursive function theory  Full Text
AUTHORS: Jose Felix Costa ; Bruno Loff ; Jerzy Mycka;
PUBLISHED: 2009, SOURCE: 3rd Conference CiE 2007 - Computation and Logic in the Real World in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 160, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 7
2
TITLE: Differential equations, infinite limits and real recursive functions
AUTHORS: Jose Felix Costa ; Bruno Loff ; Jerzy Mycka;
PUBLISHED: 2008, SOURCE: Applied Computing Conference 2008 in COMPUTATIONAL METHODS AND APPLIED COMPUTING
INDEXED IN: WOS
3
TITLE: Computability on reals, infinite limits and differential equations  Full Text
AUTHORS: Bruno Loff ; Jose Felix Costa ; Jerzy Mycka;
PUBLISHED: 2007, SOURCE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 191, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 6
4
TITLE: A new conceptual framework for analog computation  Full Text
AUTHORS: Jerzy Mycka; Jose Felix Costa ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 374, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
5
TITLE: The new promise of analog computation
AUTHORS: Jose Felix Costa ; Bruno Loff ; Jerzy Mycka;
PUBLISHED: 2007, SOURCE: 3rd Conference on Computability in Europe (CiE 2007) in COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, VOLUME: 4497
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6
TITLE: Undecidability over continuous time  Full Text
AUTHORS: Jerzy Mycka; Jose Felix Costa ;
PUBLISHED: 2006, SOURCE: Symposium on Models of Computation/Symposium on Logic and Computation in LOGIC JOURNAL OF THE IGPL, VOLUME: 14, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
7
TITLE: 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
AUTHORS: Jerzy Mycka; José Félix Costa;
PUBLISHED: 2006, SOURCE: Journal of Complexity, VOLUME: 22, ISSUE: 2
INDEXED IN: CrossRef
8
TITLE: Real recursive functions and their hierarchy  Full Text
AUTHORS: Mycka, J; Costa, JF ;
PUBLISHED: 2004, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 20, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef