Search Results - Tucker, John V.

Refine Results
  1. 1
    Synthetic Fracterm Calculus

    Synthetic Fracterm Calculus by Bergstra, Jan, Tucker, John V

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Naive Fracterm Calculus

    Naive Fracterm Calculus by Bergstra, Jan, Tucker, John V.

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness

    On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness by Bergstra, Jan A, Tucker, John V

    Published in Computer journal
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    ‘I am not a number’: Conceptualising identity in digital surveillance

    ‘I am not a number’: Conceptualising identity in digital surveillance by Wang, Victoria, Tucker, John V.

    Published in Technology in society
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    A Complete Finite Axiomatisation of the Equational Theory of Common Meadows

    A Complete Finite Axiomatisation of the Equational Theory of Common Meadows by Bergstra, Jan A., Tucker, John V.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Computational complexity with experiments as oracles

    Computational complexity with experiments as oracles by Beggs, Edwin, Costa, José Félix, Loff, Bruno, Tucker, John V

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    A model of systems with modes and mode transitions

    A model of systems with modes and mode transitions by Beggs, Edwin, Tucker, John V.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Limits to measurement in experiments governed by algorithms

    Limits to measurement in experiments governed by algorithms by BEGGS, EDWIN J., COSTA, JOSÉ FÉLIX, TUCKER, JOHN V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Phatic systems in digital society

    Phatic systems in digital society by Wang, Victoria, Tucker, John V.

    Published in Technology in society
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Surveillance and identity: conceptual framework and formal models

    Surveillance and identity: conceptual framework and formal models by Wang, Victoria, Tucker, John V

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Axiomatizing physical experiments as oracles to algorithms

    Axiomatizing physical experiments as oracles to algorithms by Beggs, Edwin J., Costa, José Félix, Tucker, John V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Computations with oracles that measure vanishing quantities

    Computations with oracles that measure vanishing quantities by BEGGS, EDWIN, COSTA, JOSÉ FÉLIX, POÇAS, DIOGO, TUCKER, JOHN V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Phatic technologies in modern society

    Phatic technologies in modern society by Wang, Victoria, Tucker, John V., Haines, Kevin

    Published in Technology in society
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    On phatic technologies for creating and maintaining human relationships

    On phatic technologies for creating and maintaining human relationships by Wang, Victoria, Tucker, John V., Rihll, Tracey E.

    Published in Technology in society
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Oracles that measure thresholds: the Turing machine and the broken balance

    Oracles that measure thresholds: the Turing machine and the broken balance by Beggs, E., Costa, J. F., Pocas, D., Tucker, J. V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    The data type of spatial objects

    The data type of spatial objects by Johnson, Kenneth, Tucker, John V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY

    THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY by BEGGS, EDWIN, COSTA, JOSÉ FÉLIX, TUCKER, JOHN V

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    The impact of models of a physical oracle on computational power

    The impact of models of a physical oracle on computational power by BEGGS, EDWIN J., COSTA, JOSÉ FÉLIX, TUCKER, JOHN V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    People watching: Abstractions and orthodoxies of monitoring

    People watching: Abstractions and orthodoxies of monitoring by Wang, Victoria, Tucker, John V.

    Published in Technology in society
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    AN ANALOGUE-DIGITAL CHURCH-TURING THESIS

    AN ANALOGUE-DIGITAL CHURCH-TURING THESIS by BEGGS, EDWIN, COSTA, JOSÉ FÉLIX, POÇAS, DIOGO, TUCKER, JOHN V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: