Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
38
views
0
references
Top references
cited by
35
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,338
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
New Computational Paradigms
A Tutorial on Computable Analysis
other
Author(s):
Vasco Brattka
,
Peter Hertling
,
Klaus Weihrauch
Publication date
(Print):
2008
Publisher:
Springer New York
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Software for SAXS correction and analysis
Author and book information
Book Chapter
Publication date (Print):
2008
Pages
: 425-491
DOI:
10.1007/978-0-387-68546-5_18
SO-VID:
08ceb9f1-ba99-491d-89dc-78dca35af214
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 383
A Survey on Continuous Time Computations
pp. 425
A Tutorial on Computable Analysis
Similar content
3,338
User Education in Automated Driving: Owner’s Manual and Interactive Tutorial Support Mental Model Formation and Human-Automation Interaction
Authors:
Yannick Forster
,
Sebastian Hergeth
,
Frederik Naujoks
…
PHY-Layer Resiliency in OFDM Communications: A Tutorial
Authors:
Ravi Tandon
,
Shabnam Sodagari
,
Jeffrey H. Reed
…
Tutorial: Speech Motor Chaining Treatment for School-Age Children With Speech Sound Disorders
Authors:
Jonathan Preston
,
Megan C. Leece
,
Jaclyn Storto
See all similar
Cited by
35
δ-Complete Decision Procedures for Satisfiability over the Reals
Authors:
Sicun Gao
,
Jeremy Avigad
,
Edmund M. Clarke
Assume-guarantee verification of nonlinear hybrid systems with Ariadne
Authors:
Tiziano Villa
,
Luca Geretti
,
Alberto Ferrari
…
ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM
Authors:
VASCO BRATTKA
,
TAHINA RAKOTONIAINA
See all cited by