


Остановите войну!
for scientists:
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

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.