Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
43
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,329
similar
All similar
Record
: found
Abstract
: found
Book
: found
Is Open Access
Foundations of Software Science and Computation Structures
other
Editor(s):
Mikołaj Bojańczyk
,
Alex Simpson
Publication date
(Print):
2019
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Download
Download
PDF
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
Emerald: Sustainable Structures & Infrastructures
Author and book information
Book
ISBN (Print):
978-3-030-17126-1
ISBN (Electronic):
978-3-030-17127-8
Publication date (Print):
2019
DOI:
10.1007/978-3-030-17127-8
SO-VID:
d1531f3f-6d22-4976-b969-d4235f2b4f96
License:
https://creativecommons.org/licenses/by/4.0
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games
pp. 27
Resource-Tracking Concurrent Games
pp. 45
Change Actions: Models of Generalised Differentiation
pp. 62
Coalgebra Learning via Duality
pp. 80
Tight Worst-Case Bounds for Polynomial Loop Programs
pp. 98
A Complete Normal-Form Bisimilarity for State
pp. 115
Identifiers in Registers
pp. 133
The Impatient May Use Limited Optimism to Minimize Regret
pp. 150
Causality in Linear Logic
pp. 169
Rewriting Abstract Structures: Materialization Explained Categorically
pp. 189
Two-Way Parikh Automata with a Visibly Pushdown Stack
pp. 207
Kleene Algebra with Hypotheses
pp. 224
Trees in Partial Higher Dimensional Automata
pp. 242
The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
pp. 260
Continuous Reachability for Unordered Data Petri Nets is in PTime
pp. 277
Optimal Satisfiability Checking for Arithmetic $$\mu $$ -Calculi
pp. 295
Constructing Inductive-Inductive Types in Cubical Type Theory
pp. 330
Higher-Order Distributions for Differential Linear Logic
pp. 348
Languages Ordered by the Subword Order
pp. 365
Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces
pp. 382
A Sound and Complete Logic for Algebraic Effects
pp. 400
Equational Axiomatization of Algebras with Structure
pp. 418
Towards a Structural Proof Theory of Probabilistic $$\mu $$ -Calculi
pp. 436
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
pp. 453
Equational Theories and Monads from Polynomial Cayley Representations
pp. 470
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
pp. 488
Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time
pp. 505
Justness
pp. 523
Path Category for Free
Similar content
2,329
Creating Solidarity: the Religious Foundations of the Polish Social Movement
Authors:
M Osa
The Foundations of Arithmetic
Authors:
G Frege
,
J. AUSTIN
,
J. K. Austin
ACCF/HRS/AHA/ASE/HFSA/SCAI/SCCT/SCMR 2013 appropriate use criteria for implantable cardioverter-defibrillators and cardiac resynchronization therapy: a report of the American College of Cardiology Foundation appropriate use criteria task force, Heart Rhythm Society, American Heart Association, American Society of Echocardiography, Heart Failure Society of America, Society for Cardiovascular Angiography and Interventions, Society of Cardiovascular Computed Tomography, and Society for Cardiovascular Magnetic Resonance
Authors:
A. Bedran-Russo
,
RF Stainback
,
SR Bailey
…
See all similar
Cited by
1
Computing Nested Fixpoints in Quasipolynomial Time
Authors:
Daniel Hausmann
,
Lutz Werner Schröder
See all cited by