![](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 67
Volume 67, Numbers 1-2, April-May 2006
- Fernando Orejas
:
Thirty years of algebraic specification. 1-2 - Michel Bidoit, Rolf Hennicker:
Constructor-based observational logic. 3-51 - Christine Choppy, Gianna Reggio:
A formally grounded software specification method. 52-86 - Corina Cîrstea
:
An institution of modal logics for coalgebras. 87-113 - Till Mossakowski
, Serge Autexier
, Dieter Hutter
:
Development graphs - Proof management for structured specifications. 114-145 - Till Mossakowski
, Lutz Schröder
, Markus Roggenbach
, Horst Reichel:
Algebraic-coalgebraic specification in CoCasl. 146-197 - Julia Padberg, Hartmut Ehrig:
Petri net modules in the transformation-based component framework. 198-225 - Alberto Verdejo
, Narciso Martí-Oliet
:
Executable structural operational semantics in Maude. 226-293
![](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.