![](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
Journal of Logic and Algebraic Programming, Volume 51
Volume 51, Number 1, April - May 2002
- Joseph A. Goguen, Grant Malcolm, Tom Kemp:
A hidden Herbrand theorem: combining the object and logic paradigms. 1-41 - Stefania Gnesi
, Diego Latella
, Mieke Massink
:
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. 43-75 - Vittorio Cortellessa, Vincenzo Grassi:
A performance-based methodology to early evaluate the effectiveness of mobile software architectures. 77-100 - A. J. Wilder:
Recursive tables and effective definition schemes. 101-121
Volume 51, Number 2, June 2002
- Jan A. Bergstra, M. E. Loots:
Program algebra for sequential code. 125-156 - Alban Ponse
:
Program algebra with unit instruction operators. 157-174 - Jan A. Bergstra, Alban Ponse
:
Combining programs and state machines. 175-192 - Jan A. Bergstra, Inge Bethke:
Molecular dynamics. 193-214
![](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.