Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
This book is Open Access under a CC BY licence.
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
| Edition: | 1st ed. 2019. |
| Series: | Theoretical Computer Science and General Issues,
11425 |
| Subjects: | |
| Online Access: | Link to Metadata |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-030-17127-8 | ||
| 003 | DE-He213 | ||
| 005 | 20240319232246.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 190405s2019 sz | s |||| 0|eng d | ||
| 020 | |a 9783030171278 |9 978-3-030-17127-8 | ||
| 024 | 7 | |a 10.1007/978-3-030-17127-8 |2 doi | |
| 050 | 4 | |a QA267-268.5 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 005.131 |2 23 |
| 245 | 1 | 0 | |a Foundations of Software Science and Computation Structures |h [electronic resource] : |b 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / |c edited by Mikołaj Bojańczyk, Alex Simpson. |
| 250 | |a 1st ed. 2019. | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2019. | |
| 300 | |a XV, 542 p. 2401 illus., 6 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 11425 | |
| 505 | 0 | |a Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching. | |
| 506 | 0 | |a Open Access | |
| 520 | |a This book is Open Access under a CC BY licence. | ||
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Discrete mathematics. | |
| 650 | 0 | |a Artificial intelligence |x Data processing. | |
| 650 | 0 | |a Compilers (Computer programs). | |
| 650 | 0 | |a Computer programming. | |
| 650 | 1 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Discrete Mathematics in Computer Science. |
| 650 | 2 | 4 | |a Data Science. |
| 650 | 2 | 4 | |a Compilers and Interpreters. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 700 | 1 | |a Bojańczyk, Mikołaj. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Simpson, Alex. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783030171261 |
| 776 | 0 | 8 | |i Printed edition: |z 9783030171285 |
| 830 | 0 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 11425 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-17127-8 |z Link to Metadata |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SOB | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||