Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th FoSSaCS 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)
- Bart Jacobs, Christof Löding:
Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9634, Springer 2016, ISBN 978-3-662-49629-9
Types
- Neil Ghani, Fredrik Nordvall Forsberg
, Alex Simpson:
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. 3-19 - Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal:
Guarded Dependent Type Theory with Coinductive Types. 20-35 - Danel Ahman, Neil Ghani, Gordon D. Plotkin:
Dependent Types and Fibred Computational Effects. 36-54 - James Laird:
Game Semantics for Bounded Polymorphism. 55-70
Recursion and Fixed-Points
- Holger Bock Axelsen, Robin Kaarsgaard:
Join Inverse Categories as Models of Reversible Recursion. 73-90 - Venanzio Capretta, Tarmo Uustalu:
A Coalgebraic View of Bar Recursion and Bar Induction. 91-106 - Stefan Milius, Dirk Pattinson, Thorsten Wißmann:
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. 107-125 - Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. 126-141
Verification and Program Analysis
- Adrian Francalanza:
A Theory of Monitors - (Extended Abstract). 145-161 - Ranko Lazic, Andrzej S. Murawski:
Contextual Approximation and Higher-Order Procedures. 162-179 - Torben Amtoft, Anindya Banerjee:
A Theory of Slicing for Probabilistic Control Flow Graphs. 180-196 - Marie Fortin, Paul Gastin:
Verification of Parameterized Communicating Automata via Split-Width. 197-213
Automata, Logic, Games
- Romain Brenguier:
Robust Equilibria in Mean-Payoff Games. 217-233 - Théo Pierron, Thomas Place, Marc Zeitoun:
Quantifier Alternation for Infinite Words. 234-251 - Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi:
Synchronizing Automata over Nested Words. 252-268 - Normann Decker, Daniel Thoma:
On Freeze LTL with Ordered Attributes. 269-284 - Antoine Durand-Gasselin, Peter Habermehl:
Regular Transformations of Data Words Through Origin Information. 285-300
Probabilistic and Timed Systems
- Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi:
Trace Refinement in Labelled Markov Decision Processes. 303-318 - Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Qualitative Analysis of VASS-Induced MDPs. 319-334 - Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Metric Temporal Logic with Counting. 335-352 - Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. 353-369
Proof Theory and Lambda Calculus
- Clément Aubert, Marc Bagnol, Thomas Seiller:
Unary Resolution: Characterizing Ptime. 373-389 - Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger:
Focused and Synthetic Nested Sequents. 390-407 - Michele Pagani, Christine Tasson, Lionel Vaux:
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. 408-423 - Delia Kesner:
Reasoning About Call-by-need by Means of Types. 424-441
Algorithms for Infinite Systems
- Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke:
Coverability Trees for Petri Nets with Unordered Data. 445-461 - Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar:
Shortest Paths in One-Counter Systems. 462-478 - Klaus Dräger:
The Invariance Problem for Matrix Semigroups. 479-492 - José Meseguer:
Order-Sorted Rewriting and Congruence Closure. 493-509
Monads
- Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès:
Towards a Formal Theory of Graded Monads. 513-530 - Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat:
Profinite Monads, Profinite Equations, and Reiterman's Theorem. 531-547
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
