Search Results - John Tucker

Study
International
Research
Business
Alumni
News & Events
Support & Wellbeing

Swansea University's Research Repository

0 items
English
Cymraeg

Advanced
Browse the Catalogue
Options

Search: John Tucker

Search: 'John Tucker'

Showing 1 - 20 of 76 query time: 0.04s

Sort

Search Tools: Get RSS Feed

Select Page | with selected:

Book chapter

Robert Recorde and the History of Computing / John Tucker

Swansea University Author: John Tucker
Published 2011

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

Richard Price and the History of Science / John Tucker

Swansea University Author: John Tucker
Published in Transactions of the Honourable Society of Cymmrodorion (2017)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Book chapter

Origins and Development of Formal Methods / John Tucker

Swansea University Author: John Tucker
Published in Texts in Theoretical Computer Science. An EATCS Series (2022)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Conference Paper/Proceeding/Abstract

Algebraic specifications of computing as a service with applications to cost analysis / K Johnson

Swansea University Author: John Tucker
Published in Proceedings 5th IEEE/ACM International Conference on Utility and Cloud Computing (2012)

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

The data type of spatial objects / Kenneth Johnson

Swansea University Author: John Tucker
Published in Formal Aspects of Computing (2011)

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

Phatic systems in digital society / Victoria Wang

Swansea University Author: John Tucker
Published in Technology in Society (2016)

Download now

Show QR Code

Journal article

Surveillance and identity: conceptual framework and formal models / Victoria Wang

Swansea University Author: John Tucker
Published in Journal of Cybersecurity (2017)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

The dynamics of belief: continuously monitoring and visualising complex systems / Edwin Beggs, John Tucker

Swansea University Authors: Edwin Beggs, John Tucker
Published in arXiv

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

People watching: Abstractions and orthodoxies of monitoring / Victoria Wang

Swansea University Author: John Tucker
Published in Technology in Society (2023)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

‘I am not a number’: Conceptualising identity in digital surveillance / Victoria Wang

Swansea University Author: John Tucker
Published in Technology in Society (2021)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Synthetic Fracterm Calculus / Jan Bergstra

Swansea University Author: John Tucker
Published in JUCS - Journal of Universal Computer Science (2024)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

A model of systems with modes and mode transitions / Edwin Beggs, John Tucker

Swansea University Authors: Edwin Beggs, John Tucker
Published in Journal of Logical and Algebraic Methods in Programming (2022)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Eager Term Rewriting For The Fracterm Calculus Of Common Meadows / Jan A Bergstra, John V Tucker

Swansea University Author: John Tucker
Published in The Computer Journal (2024)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Computability of Operators on Continuous and Discrete Time Streams / Jeffrey I Zucker

Swansea University Author: John Tucker
Published in Computability (2014)

Download now

Show QR Code

Journal article

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows / Jan A. Bergstra

Swansea University Author: John Tucker
Published in ACM Transactions on Computational Logic (2025)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts / Jan A. Bergstra

Swansea University Author: John Tucker
Published in Journal of Logic, Language and Information (2025)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero / Jan A. Bergstra

Swansea University Author: John Tucker
Published in Journal of Logic, Language and Information (2024)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Fracterm Calculus for Signed Common Meadows / Jan Aldert Bergstra

Swansea University Author: John Tucker
Published in Transmathematica (2024)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

For rational numbers with Suppes-Ono division, equational validity is one-one equivalent with Diophantine unsolvability / Jan A. Bergstra

Swansea University Author: John Tucker
Published in Theoretical Computer Science (2025)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

On Defining Expressions for Entropy and Cross-Entropy: The Entropic Transreals and Their Fracterm Calculus / Jan A. Bergstra

Swansea University Author: John Tucker
Published in Entropy (2025)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Select Page | with selected:

Search Tools: Get RSS Feed

Narrow Search

Available for download

Format

59 Journal article 10 Book chapter 5 Conference Paper/Proceeding/Abstract 1 Book 1 Other see all ...

Author

67 John Tucker 16 Edwin Beggs 4 Ronan Lyons 2 Jens Blanck 1 John Dingley 1 Richard Cobley more ... 1 Elaine Crooks 1 Richard Palmer 1 Markus Roggenbach 1 Vanessa Burholt see all ... less ...

Faculty

66 Faculty of Science and Engineering 6 Faculty of Medicine, Health and Life Sciences see all ...

School

54 School of Mathematics and Computer Science - Computer Science 11 School of Mathematics and Computer Science - Mathematics 4 Swansea University Medical School - Health Data Science 1 School of Engineering and Applied Sciences - Uncategorised 1 Swansea University Medical School - Medicine 1 The Centre for Innovative Ageing see all ...

Year of Publication

From:

To:

1400 : 2026

1400

2026

Services

Archives
Cronfa
iFind

Search Options

Search History
Advanced Search

Find More

Search Help
Browse the Catalogue
Browse Alphabetically
New Items

Contact Us

E-mail: LibraryResearchSupport@swansea.ac.uk

Library Research Support Team

Harvested by CORE

Swansea University is a registered charity, No. 1138342

Loading...