Browsing by Author Poças, Diogo
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) | Type | Access Type |
| 2014 | An analog-digital Church-Turing thesis | Beggs, Edwin; Costa, José Félix; Tucker, John V.; Poças, Diogo | article |  |
| 2016 | An Analogue-digital Model of Computation: Turing Machines with Physical Oracles | Ambaram, Tânia; Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V. | bookPart | |
| 2017 | Computations with oracles that measure vanishing quantities | Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V. | article | |
| 2013 | Oracles that measure thresholds: The Turing machine and the broken balance | Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V. | article | |
| 2017 | Solving Smullyan puzzles with formal systems | Costa, José Félix; Poças, Diogo | article | |
