04340nam 22007095 450 99646555110331620230406063931.010.1007/11548133(CKB)1000000000213210(SSID)ssj0000316127(PQKBManifestationID)11247776(PQKBTitleCode)TC0000316127(PQKBWorkID)10262719(PQKB)10492144(DE-He213)978-3-540-31876-7(MiAaPQ)EBC3067623(PPN)123097088(EXLCZ)99100000000021321020100721d2005 u| 0engurnn#008mamaatxtccrAlgebra and Coalgebra in Computer Science[electronic resource] First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /edited by José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XII, 460 p.)Theoretical Computer Science and General Issues,2512-2029 ;3629Bibliographic Level Mode of Issuance: Monograph3-540-31876-3 3-540-28620-9 Includes bibliographical references and index.Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Connectors -- On the Semantics of Coinductive Types in Martin-Löf Type Theory -- Look: Simple Stochastic Relations Are Just, Well, Simple -- Modelling Fusion Calculus using HD-Automata -- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL -- Using Proofs by Coinduction to Find “Traditional” Proofs -- From T-Coalgebras to Filter Structures and Transition Systems -- Context-Free Languages via Coalgebraic Trace Semantics -- Towards a Coalgebraic Semantics of the Ambient Calculus -- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic -- Ultrafilter Extensions for Coalgebras -- Equational Logic of Recursive Program Schemes -- The Category Theoretic Solution of Recursive Program Schemes -- A Categorical Approach to Simulations -- Behavioral Extensions of Institutions -- Discrete Lawvere Theories -- Final Semantics for Event-Pattern Reactive Programs -- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing -- Final Sequences and Final Coalgebras for Measurable Spaces -- Bireachability and Final Multialgebras -- Parametrized Exceptions -- Property Preserving Redesign of Specifications.Theoretical Computer Science and General Issues,2512-2029 ;3629Computer scienceMachine theorySoftware engineeringComputer science—MathematicsTheory of ComputationComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySoftware EngineeringSymbolic and Algebraic ManipulationComputer science.Machine theory.Software engineering.Computer science—Mathematics.Theory of Computation.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Software Engineering.Symbolic and Algebraic Manipulation.004.0151Fiadeiro José Luisedthttp://id.loc.gov/vocabulary/relators/edtHarman Neiledthttp://id.loc.gov/vocabulary/relators/edtRoggenbach Markusedthttp://id.loc.gov/vocabulary/relators/edtRutten Janedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465551103316Algebra and Coalgebra in Computer Science772274UNISA01526nam 2200421 a 450 991069822710332120070103160017.0(CKB)4970000000032155(OCoLC)77523222(EXLCZ)99497000000003215520070103d2006 ua 0engurmn|---|||||txtrdacontentcrdamediacrrdacarrierFreight railroads[electronic resource] highlights of GAO report on freight rail industry performance, competition, and capacityWashington, DC :U.S. Government Accountability Office,[2006]27 pages digital, PDF fileTitle from title screen (viewed on Dec. 28, 2006).Author: JayEtta Z. Hecker."November 8, 2006."Paper version available from: U.S. Government Accountability Office, 441 G St., NW, Rm. LM, Washington, D.C. 20548."GAO-07-207R."Includes bibliographical references.Freight RailroadsRailroadsFreightRatesUnited StatesRailroadsDeregulationUnited StatesRailroadsFreightRatesRailroadsDeregulationHecker JayEtta Z1380711United States.Government Accountability Office.GPOGPODOCUMENT9910698227103321Freight railroads3426906UNINA01321nam0 22003131i 450 UON0045502320231205105059.31820150527d1955 |0itac50 barusUS|||| 1||||Aleksandr 1. i DekabristyD. S. MerežkovskijN'ju JorkIzdatel'stvo Imeni Čechova1955410 p.22 cm.DECABRISTIUONC038653FILetteratura russaSec. 19.UONC087496FIUSNew YorkUONL000050891.703Letteratura russa. 1800-191721947.072Storia della Russia. Regno di Alessandro I, 1801-182521MEREŽKOVSKIJDmitrij SergeevičUONV110059444167Izdatel'stvo imeni ČechovaUONV266054650MEREJKOWSKI, DimitriMEREŽKOVSKIJ, Dmitrij SergeevičUONV227369MEREZHKOVSKY, Dmitrij S.MEREŽKOVSKIJ, Dmitrij SergeevičUONV239512ITSOL20251107RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00455023SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI RUSSO C 1114 SI MR 48696 7 1114 Aleksandr 1. i Dekabristy1323128UNIOR