Foundations of Software Science and Computation Structures (Record no. 205732)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05321nam a22005775i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783662544587 |
| -- | 978-3-662-54458-7 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | CUS |
| 245 10 - TITLE STATEMENT | |
| Title | Foundations of Software Science and Computation Structures |
| Sub title | 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / |
| Statement of responsibility, etc. | edited by Javier Esparza, Andrzej S. Murawski. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2017. |
| 300 ## - DESCRIPTION | |
| Extent | XVII, 568 p. 59 illus. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Coherence Spaces and Higher-Order Computation -- Coherence Spaces and Uniform Continuity -- The Free Exponential Modality of Probabilistic Coherence Spaces -- From Qualitative to Quantitative Semantics by Change of Base -- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.-Algebra and Coalgebra -- Algebra, coalgebra, and minimization in polynomial differential equations -- Equational Theories of Abnormal Termination Based on Kleene Algebra -- Companions, Codensity and Causality -- Nominal Automata with Name Binding -- Games and Automata -- On the existence of weak subgame perfect equilibria -- Optimal Reachability in Divergent Weighted Timed Games -- Bounding Average-energy Games -- Logics of repeating values on data trees and branching counter systems -- Automata, Logic and Formal Languages -- Degree of sequentiality of weighted automata -- Emptiness under isolation and the value problem for hierarchical probabilistic automata -- Partial Derivatives for Context-Free Languages -- Dynamic Complexity of the Dyck Reachability -- Proof Theory -- Cyclic Arithmetic is Equivalent to Peano Arithmetic -- Martin-Lof's Inductive Definitions are Not Equivalent to Cyclic Proofs -- Probability -- On the relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context -- Computing continuous time Markov chains as transformers of unbounded observation functions -- Pointless Learning -- On Higher-Order Probabilistic Subrecursion. – Concurrency -- A Truly Concurrent Game Model of the Asynchronous ᴨ-Calculus -- Local Model Checking in a Logic for True Concurrency -- The Paths to Choreography Extraction -- On the Undecidability of Asynchronous Session Subtyping -- Lambda Calculus and Constructive Proof -- A Lambda-Free Higher-Order Recursive Path Order -- Automated Constructivization of Proofs -- Semantics and Category Theory -- A Light Modality for Recursion -- Unifying Guarded and Unguarded Iteration -- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type -- On the Semantics of Intensionality. |
| 650 #0 - SUBJECT | |
| Keyword | Computer logic. |
| 650 #0 - SUBJECT | |
| Keyword | Mathematical logic. |
| 650 #0 - SUBJECT | |
| Keyword | Programming languages (Electronic computers). |
| 650 #0 - SUBJECT | |
| Keyword | Software engineering. |
| 650 #0 - SUBJECT | |
| Keyword | Computers. |
| 650 14 - SUBJECT | |
| Keyword | Logics and Meanings of Programs. |
| 650 24 - SUBJECT | |
| Keyword | Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT | |
| Keyword | Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT | |
| Keyword | Software Engineering. |
| 650 24 - SUBJECT | |
| Keyword | Computation by Abstract Devices. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Esparza, Javier. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Murawski, Andrzej S. |
| 856 40 - ONLINE RESOURCES | |
| url | https://doi.org/10.1007/978-3-662-54458-7 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | e-Books |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| Home library | Current library | Full call number | Accession number | Koha item type |
|---|---|---|---|---|
| Central Library, Sikkim University | Central Library, Sikkim University | 005.1015113 | E-3085 | e-Books |