zbMATH — the first resource for mathematics

Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. (English) Zbl 1320.68027
Lecture Notes in Computer Science 9034. Berlin: Springer (ISBN 978-3-662-46677-3/pbk; 978-3-662-46678-0/ebook). xvi, 467 p. (2015).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1284.68025].
Indexed articles:
Pfenning, Frank; Griffith, Dennis, Polarized substructural session types, 3-22 [Zbl 1459.68042]
Mamouras, Konstantinos, Synthesis of strategies and the Hoare logic of angelic nondeterminism, 25-40 [Zbl 1459.03034]
Grellois, Charles; Melliès, Paul-André, An infinitary model of linear logic, 41-55 [Zbl 1459.03025]
Clairambault, Pierre; Dybjer, Peter, Game semantics and normalization by evaluation, 56-70 [Zbl 1459.68112]
Abadi, Martín; McSherry, Frank; Plotkin, Gordon D., Foundations of differential dataflow, 71-83 [Zbl 1459.68109]
Jacobs, Bart; Westerbaan, Bas; Westerbaan, Bram, States of convex sets, 87-101 [Zbl 1459.68068]
Vákár, Matthijs, A categorical semantics for linear logical frameworks, 102-116 [Zbl 1461.03014]
Winter, Joost, A completeness result for finite \(\lambda\)-bisimulations, 117-132 [Zbl 06487988]
Clouston, Ranald; Goré, Rajeev, Sequent calculus in the topos of trees, 133-147 [Zbl 1461.03060]
Klin, Bartek; Rot, Jurriaan, Coalgebraic trace semantics via forgetful logics, 151-166 [Zbl 1459.68114]
Bozzelli, Laura; Maubert, Bastien; Pinchinat, Sophie, Unifying hyper and epistemic temporal logics, 167-182 [Zbl 1459.03019]
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu, On the total variation distance of semi-Markov chains, 185-199 [Zbl 1459.68116]
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue, Decidable and expressive classes of probabilistic automata, 200-214 [Zbl 1459.68098]
Genest, Blaise; Peled, Doron; Schewe, Sven, Knowledge = observation + memory + computation, 215-229 [Zbl 1459.68144]
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone, Compositional metric reasoning with probabilistic process calculi, 230-245 [Zbl 1459.68143]
Cotton-Barratt, Conrad; Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke, Fragments of ML decidable by nested data class memory automata, 249-263 [Zbl 1459.68035]
Jaber, Guilhem, Operational nominal game semantics, 264-278 [Zbl 1459.68036]
Bizjak, Aleš; Birkedal, Lars, Step-indexed logical relations for probability, 279-294 [Zbl 1459.68031]
Kiefer, Stefan; Marusic, Ines; Worrell, James, Minimisation of multiplicity tree automata, 297-311 [Zbl 1459.68103]
Velner, Yaron, Robust multidimensional mean-payoff games are undecidable, 312-327 [Zbl 1391.03032]
Ho, Hsi-Ming; Ouaknine, Joël, The cyclic-routing UAV problem is PSPACE-complete, 328-342 [Zbl 1459.68077]
Salvati, Sylvain; Walukiewicz, Igor, Typing weak MSOL properties, 343-357 [Zbl 1448.68315]
Antonopoulos, Timos; Hunter, Paul; Raza, Shahab; Worrell, James, Three variables suffice for real-time logic, 361-374 [Zbl 1461.03020]
Habermehl, Peter; Kuske, Dietrich, On Presburger arithmetic extended with modulo counting quantifiers, 375-389 [Zbl 1461.03054]
Ganardi, Moses, Parity games of bounded tree- and clique-width, 390-404 [Zbl 1459.68082]
Clouston, Ranald; Bizjak, Aleš; Grathwohl, Hans Bugge; Birkedal, Lars, Programming and reasoning with guarded recursion for coinductive types, 407-421 [Zbl 1459.68034]
Leivant, Daniel; Ramyaa, Ramyaa, The computational contents of ramified corecurrence, 422-435 [Zbl 1459.68070]
Bagnol, Marc; Doumane, Amina; Saurin, Alexis, On the dependencies of logical rules, 436-450 [Zbl 1367.03109]
Schubert, Aleksy; Urzyczyn, Paweł; Zdanowski, Konrad, On the Mints hierarchy in first-order intuitionistic logic, 451-465 [Zbl 1459.03009]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX Cite
Full Text: DOI