Search Results - "Theoretical Computer Science"

Study
International
Research
Business
Alumni
News & Events
Support & Wellbeing

Swansea University's Research Repository

0 items
English
Cymraeg

Advanced
Browse the Catalogue
Options

Search: "Theoretical Computer Science"

Search: '"Theoretical Computer Science"'

Showing 1 - 20 of 28 query time: 0.03s

Sort

Search Tools: Get RSS Feed

Select Page | with selected:

Journal article

Meadows and the equational specification of division / J.A Bergstra, Y Hirshfeld, J.V Tucker

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

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Continuity of operators on continuous and discrete time streams / J.V Tucker, J.I Zucker

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

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

Corrected upper bounds for free-cut elimination / Samuel R Buss

Swansea University Author: Arnold Beckmann
Published in Theoretical Computer Science (2011)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

On Davis–Putnam reductions for minimally unsatisfiable clause-sets / Xishun Zhao

Swansea University Author: Oliver Kullmann
Published in Theoretical Computer Science (2013)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Domain representations of partial functions, with applications to spatial objects and constructive volume geometry / J Blanck, V Stoltenberg-Hansen, J.V Tucker

Swansea University Author: Jens Blanck
Published in Theoretical Computer Science (2002)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference / Herbert Fleischner, Stefan Szeider

Swansea University Author: Oliver Kullmann
Published in Theoretical Computer Science (2002)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Pushdown automata, multiset automata, and Petri nets / Yoram Hirshfeld

Swansea University Author: Faron Moller
Published in Theoretical Computer Science (2001)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

CSP-CASL—A new integration of process algebra and algebraic specification / Markus Roggenbach

Swansea University Author: Markus Roggenbach
Published in Theoretical Computer Science (2006)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Notations for exponentiation / Beckmann Arnold

Swansea University Author: Arnold Beckmann
Published in Theoretical Computer Science (2002)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

New methods for 3-SAT decision and worst-case analysis / O. Kullmann

Swansea University Author: Oliver Kullmann
Published in Theoretical Computer Science (1999)

In collection: Faculty of Science and Engineering

Get full text
Show QR Code

Journal article

Mean-payoff games with partial observation / Paul Hunter, Guillermo A. Pérez, Jean-François Raskin

Swansea University Author: Arno Pauly
Published in Theoretical Computer Science (2018)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Parametrised second-order complexity theory with applications to the study of interval computation / Florian Steinberg

Swansea University Author: Eike Neumann
Published in Theoretical Computer Science (2020)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

On the computability of the set of automorphisms of the unit square / Eike Neumann

Swansea University Author: Eike Neumann
Published in Theoretical Computer Science (2022)

In collection: Faculty of Science and Engineering

Check full text
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

Typed vs. Untyped realizability / Tie Hou

Swansea University Author: Ulrich Berger
Published in Electronic Notes in Theoretical Computer Science (2012)

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

Extracting a DPLL Algorithm / Andrew Lawrence, Ulrich Berger

Swansea University Author: Monika Seisenberger
Published in Electronic Notes in Theoretical Computer Science (2012)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Stability for Effective Algebras / Viggo Stoltenberg-Hansen

Swansea University Authors: Jens Blanck, John Tucker
Published in Electronic Notes in Theoretical Computer Science (2008)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Journal article

Automated Verification of Signalling Principles in Railway Interlocking Systems / Karim Kanso, Faron Moller

Swansea University Author: Anton Setzer
Published in Electronic Notes in Theoretical Computer Science (2009)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Automated Verification of Signalling Principles in Railway Interlocking Systems / Karim Kanso

Swansea University Authors: Faron Moller, Anton Setzer
Published in Electronic Notes in Theoretical Computer Science (2009)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

The Stable Revivals Model in CSP-Prover / D. Gift Samuel, Yoshinao Isobe

Swansea University Author: Markus Roggenbach
Published in Electronic Notes in Theoretical Computer Science (2009)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Select Page | with selected:

Search Tools: Get RSS Feed

Narrow Search

Available for download

Format

28 Journal article see all ...

Author

5 Arno Pauly 5 John Tucker 3 Oliver Kullmann 3 Anton Setzer 3 Markus Roggenbach 2 Arnold Beckmann more ... 2 Eike Neumann 2 Jens Blanck 2 Faron Moller 1 Liam O'Reilly 1 Ulrich Berger 1 Monika Seisenberger 1 Mina Cyrus see all ... less ...

Faculty

28 Faculty of Science and Engineering see all ...

School

28 School of Mathematics and Computer Science - Computer Science 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...