Coverart for item
The Resource Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, Frank Pfenning (ed.), (electronic book)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, Frank Pfenning (ed.), (electronic book)

Label
Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Title
Foundations of software science and computation structures
Title remainder
16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Statement of responsibility
Frank Pfenning (ed.)
Title variation
  • FOSSACS 2013
  • ETAPS 2013
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1
Index
index present
LC call number
QA76.751
LC item number
.F67 2013
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
FOSSACS 2013
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2013
http://library.link/vocab/relatedWorkOrContributorName
  • Pfenning, Frank
  • ETAPS
Series statement
  • Lecture notes in computer science,
  • Advanced research in computing and software science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7794
http://library.link/vocab/subjectName
  • Computer software
  • Software engineering
Label
Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, Frank Pfenning (ed.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Partiality and Recursion in Higher-Order Logic
  • Łukasz Czajka
  • Some Sahlqvist Completeness Results for Coalgebraic Logics
  • Fredrik Dahlqvist, Dirk Pattinson
  • Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
  • Lutz Straßburger
  • Reasoning about Programs
  • On Monadic Parametricity of Second-Order Functionals
  • Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev
  • Deconstructing General References via Game Semantics
  • Andrzej S. Murawski, Nikos Tzevelekos
  • Separation Logic for Non-local Control Flow and Block Scope Variables
  • Robbert Krebbers, Freek Wiedijk
  • Computational Complexity --
  • Comodels and Effects in Mathematical Operational Semantics
  • Faris Abou-Saleh, Dirk Pattinson
  • Preorders on Monads and Coalgebraic Simulations
  • Shin-ya Katsumata, Tetsuya Sato
  • Modal and Higher-Order Logics
  • A Proof System for Compositional Verification of Probabilistic Concurrent Processes
  • Matteo Mio, Alex Simpson
  • Quantitative Models
  • A Language for Differentiable Functions
  • Pietro Di Gianantonio, Abbas Edalat
  • Computing Quantiles in Markov Reward Models
  • Michael Ummels, Christel Baier
  • Parameterized Weighted Containment
  • Guy Avni, Orna Kupferman
  • Weighted Specifications over Nested Words
  • Benedikt Bollig, Paul Gastin, Benjamin Monmege
  • Categorical Models
  • The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
  • An Algebraic Presentation of Predicate Logic
  • Sam Staton
  • Strategies as Profunctors
  • Glynn Winskel
  • Generalised Name Abstraction for Nominal Sets
  • Ranald Clouston
  • Prateek Karandikar, Sylvain Schmitz
  • Deciding Definability by Deterministic Regular Expressions
  • Wojciech Czerwiński, Claire David, Katja Losemann, Wim Martens
  • Type-Based Complexity Analysis for Fork Processes
  • Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux
  • Pure Pointer Programs and Tree Isomorphism
  • Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp
Control code
SPR829091163
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642370755
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, Frank Pfenning (ed.), (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Partiality and Recursion in Higher-Order Logic
  • Łukasz Czajka
  • Some Sahlqvist Completeness Results for Coalgebraic Logics
  • Fredrik Dahlqvist, Dirk Pattinson
  • Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
  • Lutz Straßburger
  • Reasoning about Programs
  • On Monadic Parametricity of Second-Order Functionals
  • Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev
  • Deconstructing General References via Game Semantics
  • Andrzej S. Murawski, Nikos Tzevelekos
  • Separation Logic for Non-local Control Flow and Block Scope Variables
  • Robbert Krebbers, Freek Wiedijk
  • Computational Complexity --
  • Comodels and Effects in Mathematical Operational Semantics
  • Faris Abou-Saleh, Dirk Pattinson
  • Preorders on Monads and Coalgebraic Simulations
  • Shin-ya Katsumata, Tetsuya Sato
  • Modal and Higher-Order Logics
  • A Proof System for Compositional Verification of Probabilistic Concurrent Processes
  • Matteo Mio, Alex Simpson
  • Quantitative Models
  • A Language for Differentiable Functions
  • Pietro Di Gianantonio, Abbas Edalat
  • Computing Quantiles in Markov Reward Models
  • Michael Ummels, Christel Baier
  • Parameterized Weighted Containment
  • Guy Avni, Orna Kupferman
  • Weighted Specifications over Nested Words
  • Benedikt Bollig, Paul Gastin, Benjamin Monmege
  • Categorical Models
  • The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
  • An Algebraic Presentation of Predicate Logic
  • Sam Staton
  • Strategies as Profunctors
  • Glynn Winskel
  • Generalised Name Abstraction for Nominal Sets
  • Ranald Clouston
  • Prateek Karandikar, Sylvain Schmitz
  • Deciding Definability by Deterministic Regular Expressions
  • Wojciech Czerwiński, Claire David, Katja Losemann, Wim Martens
  • Type-Based Complexity Analysis for Fork Processes
  • Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux
  • Pure Pointer Programs and Tree Isomorphism
  • Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp
Control code
SPR829091163
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642370755
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...