( en | de | ru )

 

Disambiguation of "Costa, José Félix"

Author of the publication

copydeleteadd this publication to your clipboard
Computations with oracles that measure vanishing quantities.

, , , and . Math. Struct. Comput. Sci., 27 (8): 1315-1363 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Félix José Mulhanga

Luciano José Costa Figueiredo

José Eduardo Ferreira Costa Gardolinski

Humberto Jorge José

Nadine José Gonzalez

 

Other publications of authors with the same name

Process Semantics for Resolution., , and . ICLP Workshop: Process-Based Parallel Logic Programming, page 88-. (1994)Limits to measurement in experiments governed by algorithms., , and . Math. Struct. Comput. Sci., 20 (6): 1019-1050 (2010)Unity of Science as Seen Through the Universal Computer.. Int. J. Unconv. Comput., 13 (1): 59-81 (2017)Institutions for Behaviour Specification., and . COMPASS/ADT, volume 906 of Lecture Notes in Computer Science, page 273-289. Springer, (1994)Process Semantics of Temporal Logic Specifications., , , and . COMPASS/ADT, volume 655 of Lecture Notes in Computer Science, page 236-253. Springer, (1991)The Abstract Immune System Algorithm., and . UC, volume 4618 of Lecture Notes in Computer Science, page 137-149. Springer, (2007)Analog computers and recursive functions over the reals., and . J. Complex., 19 (5): 644-664 (2003)A new conceptual framework for analog computation., and . Theor. Comput. Sci., 374 (1-3): 277-290 (2007)The Power of Analogue-Digital Machines - (Extended Abstract).. UCNC, volume 10240 of Lecture Notes in Computer Science, page 3-7. Springer, (2017)Progress Assumption in Concurrent Systems., and . Formal Aspects Comput., 7 (1): 18-36 (1995)