Search Results - Ulrich Berger

Study
International
Research
Business
Alumni
News & Events
Support & Wellbeing

Swansea University's Research Repository

0 items
English
Cymraeg

Advanced
Browse the Catalogue
Options

Search: Ulrich Berger

Search: 'Ulrich Berger'

Showing 41 - 51 of 51 query time: 0.02s

Sort

Search Tools: Get RSS Feed

Select Page | with selected:

Journal article

The Warshall Algorithm and Dickson's Lemma: Two examples of realistic program extraction / Ulrich Berger, Schwichtenberg, Helmut, Seisenberger, Monika

Swansea University Author: Monika Seisenberger
Published in Journal of Automated Reasoning (2001)

In collection: Faculty of Science and Engineering

Show QR Code

Book chapter

Proof theory at work: Program development in the Minlog system / Holger Benl, Ulrich Berger, Helmut Schwichtenberg, Wolfgang Zuber

Swansea University Author: Monika Seisenberger
Published in Automated Deduction - A Basis for Applications (1998)

In collection: Faculty of Science and Engineering

Show QR Code

Book chapter

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras / Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Swansea University Author: Ulrich Berger
Published in Algebra and Coalgebra in Computer Science (2011)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Conference Paper/Proceeding/Abstract

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras / Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg

Swansea University Author: Monika Seisenberger
Published in Lecture Notes In Computer Science (2011)

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

Extracting verified decision procedures: DPLL and Resolution / Andrew Lawrence, Fredrik Nordvall Forsberg

Swansea University Authors: Ulrich Berger, Monika Seisenberger
Published in Logical Methods in Computer Science (2015)

Download now

Show QR Code

Journal article

Verification of the European Rail Traffic Management System in Real-Time Maude / Andrew Lawrence

Swansea University Authors: Ulrich Berger, Phillip James, Markus Roggenbach, Monika Seisenberger
Published in Science of Computer Programming (2018)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Book chapter

Logic for Gray-code computation / Kenji Miyamoto, Helmut Schwichtenberg, Hideki Tsuiki

Swansea University Author: Ulrich Berger
Published 2016

Get full text
Show QR Code

Conference Paper/Proceeding/Abstract

Prawf: An Interactive Proof System for Program Extraction / Hideki Tsuiki

Swansea University Authors: Olga Petrovska, Ulrich Berger
Published in Lecture Notes in Computer Science (2020)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Book chapter

Concurrent Gaussian Elimination / Michael Rathjen, Peter Schuster

Swansea University Authors: Ulrich Berger, Monika Seisenberger
Published in Mathematics for Computation (M4C) (2023)

In collection: Faculty of Science and Engineering

Get full text
Show QR Code

Book

Realisability and adequacy for (co)induction / David Benton, Katharina Hall, Robert Rhys

Swansea University Author: Ulrich Berger
Published 2009

In collection: Faculty of Science and Engineering

Get full text
Show QR Code

Journal article

Worldwide trends in underweight and obesity from 1990 to 2022: a pooled analysis of 3663 population-representative studies with 222 million children, adolescents, and adults / Nowell H Phelps, Rosie K Singleton, Bin Zhou, Rachel A Heap, Anu Mishra, et al

Swansea University Author: Gareth Stratton
Published in The Lancet (2024)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Select Page | with selected: