LEADER 01435nam 2200361 n 450 001 996386603103316 005 20221107223002.0 035 $a(CKB)1000000000621389 035 $a(EEBO)2240916270 035 $a(UnM)99122499400971 035 $a(EXLCZ)991000000000621389 100 $a19841219d1689 uy 101 0 $aeng 135 $aurbn||||a|bb| 200 13$aAn account of a fight between the French and Irish, for refusing to admit the French to be governors of Cork and Waterford in Ireland$b[electronic resource] /$fIn a letter from an officer in Ireland, to his friend in London 210 $aLondon $cprinted for Richard Baldwin, near the Black Bull in the Old-Baily$d1689 215 $a1 sheet (2 p.) 300 $aCaption title. 300 $a"Licensed and entred according to order." 300 $aImprint from colophon. 300 $aImperfect: print show-through on p. 2. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 607 $aIreland$xHistory$yWar of 1689-1691$xCampaigns$vEarly works to 1800 700 $aOfficer in Ireland$01018283 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bCu-RivES 906 $aBOOK 912 $a996386603103316 996 $aAn Account of a fight between the French and Irish for refusing to admit the French to be governors of Cork and Waterford in Ireland$92393953 997 $aUNISA LEADER 04079nam 22005415 450 001 9910717414803321 005 20251225203752.0 010 $a3-031-30829-8 024 7 $a10.1007/978-3-031-30829-1 035 $a(CKB)5720000000183524 035 $a(NjHacI)995720000000183524 035 $a(MiAaPQ)EBC7240929 035 $a(Au-PeEL)EBL7240929 035 $a(PPN)269655409 035 $a(OCoLC)1377209468 035 $a(MiAaPQ)EBC7239468 035 $a(DE-He213)978-3-031-30829-1 035 $a(EXLCZ)995720000000183524 100 $a20230420d2023 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Software Science and Computation Structures $e26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22?27, 2023, Proceedings /$fedited by Orna Kupferman, Pawel Sobocinski 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (xiv, 562 pages) $cillustrations (some color) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13992 311 08$a979-88-908419-4-0 311 08$a3-031-30828-X 320 $aIncludes bibliographical references and index. 327 $aWhen Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. Forward Bisimilarity -- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains -- Weighted and Branching Bisimilarities from Generalized Open Maps -- Preservation and Reflection of Bisimilarity via Invertible Steps -- QuantitativeSafety and Liveness -- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors -- Fast Matching of Regular Patterns with Synchronizing Counting -- Compositional Learning for Interleaving Parallel Automata -- Pebble minimization: the last theorems -- Noetherian topologies defined via fixed-points -- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic -- Just Testing -- Model and Program Repair via Group Actions -- Subgame optimal strategies in finite concurrent games with prefix-independent objectives. . 330 $aThis open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13992 606 $aComputer science 606 $aTheory of Computation 615 0$aComputer science. 615 14$aTheory of Computation. 676 $a005.1 702 $aSobocinski$b Pawel 702 $aKupferman$b Orna 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910717414803321 996 $aFoundations of Software Science and Computation Structures$9772187 997 $aUNINA