Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
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.
last updated on 2024-04-25 04:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
