LEADER 05043nam 22008055 450 001 9910337848003321 005 20230329173152.0 010 $a3-030-17127-2 024 7 $a10.1007/978-3-030-17127-8 035 $a(CKB)4100000007881202 035 $a(DE-He213)978-3-030-17127-8 035 $a(MiAaPQ)EBC5919832 035 $a(Au-PeEL)EBL5919832 035 $a(OCoLC)1096283475 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/26387 035 $a(PPN)235668435 035 $a(EXLCZ)994100000007881202 100 $a20190405d2019 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Software Science and Computation Structures $e22nd 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 /$fedited by Miko?aj Boja?czyk, Alex Simpson 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XV, 542 p. 2401 illus., 6 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11425 311 $a3-030-17126-4 327 $aUniversal 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. 330 $aThis book is Open Access under a CC BY licence. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11425 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aArtificial intelligence?Data processing 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aDiscrete Mathematics in Computer Science 606 $aData Science 606 $aCompilers and Interpreters 606 $aProgramming Techniques 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aArtificial intelligence?Data processing. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aData Science. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 676 $a005.131 676 $a005.1 700 $aBoja?czyk$b Miko?aj$4edt$01351249 702 $aBoja?czyk$b Miko?aj$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSimpson$b Alex$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337848003321 996 $aFoundations of Software Science and Computation Structures$93091299 997 $aUNINA