![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Proceedings: Modelling, Controlling and Reasoning About State 2010
- Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann:
Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010. Dagstuhl Seminar Proceedings 10351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 - Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann:
10351 Abstracts Collection - Modelling, Controlling and Reasoning About State. - Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann:
10351 Executive Summary - Modelling, Controlling and Reasoning About State. - Robert Dockins, Aquinas Hobor:
A Theory of Termination via Indirection. - Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii:
Limitations of Applicative Bisimulation (Preliminary Report). - Nikos Tzevelekos:
Program Equivalence with Names. - Andrew M. Pitts:
Step-Indexed Biorthogonality: a Tutorial Example. - Nick Benton, Chung-Kil Hur:
Step-Indexing: The Good, the Bad and the Ugly.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.