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: The Euclid abstract machine
AUTHORS: Jerzy Mycka; Jose Felix Costa ; Francisco Coelho ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Unconventional Computation in INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, VOLUME: 4, ISSUE: 3
INDEXED IN: Scopus WOS
4
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
5
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
6
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
7
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
8
TITLE: The Euclid abstract machine: Trisection of the angle and the halting problem
AUTHORS: Jerzy Mycka; Francisco Coelho ; Jose Felix Costa ;
PUBLISHED: 2006, SOURCE: 5th International Conference on Unconventional Computation in UNCONVENTIONAL COMPUTATION, PROCEEDINGS, VOLUME: 4135
INDEXED IN: Scopus WOS
9
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
10
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