![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Logic and Algebraic Programming, Volume 73
Volume 73, Numbers 1-2, September-October 2007
- Luca Aceto, Anna Ingólfsdóttir:
Guest Editors' Foreword. 1 - Abbas Edalat, Dirk Pattinson:
Denotational semantics of hybrid automata. 3-21 - Adrian Francalanza
, Matthew Hennessy:
A theory for observational fault tolerance. 22-50 - Christof Löding, Carsten Lutz
, Olivier Serre:
Propositional dynamic logic with recursive programs. 51-69 - Iain C. C. Phillips
, Irek Ulidowski
:
Reversing algebraic process calculi. 70-96 - Lutz Schröder
:
A finite model construction for coalgebraic modal logic. 97-110 - Greta Yorsh, Alexander Moshe Rabinovich
, Mooly Sagiv, Antoine Meyer
, Ahmed Bouajjani:
A logic of reachable patterns in linked data-structures. 111-142
![](https://dblp1.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.