Editorial Board (English)
In:
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
;
67
, 1-2
;
CO2
;
2006
-
ISSN:
- Article (Journal) / Print
-
Title:Editorial Board
-
Published in:JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING ; 67, 1-2 ; CO2
-
Publisher:
- New search for: Elsevier Science B.V., Amsterdam.
-
Publication date:2006-01-01
-
Size:CO2
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.115
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.115 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 67, Issue 1-2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Thirty years of algebraic specificationOrejas, F. et al. | 2006
- 3
-
Constructor-based observational logicBidoit, M. / Hennicker, R. et al. | 2006
- 52
-
A formally grounded software specification methodChoppy, C. / Reggio, G. et al. | 2006
- 87
-
An institution of modal logics for coalgebrasCıˆrstea, C. et al. | 2006
- 114
-
Development graphs—Proof management for structured specificationsMossakowski, T. / Autexier, S. / Hutter, D. et al. | 2006
- 146
-
Algebraic–coalgebraic specification in CoCaslMossakowski, T. / Schröder, L. / Roggenbach, M. / Reichel, H. et al. | 2006
- 198
-
Petri net modules in the transformation-based component frameworkPadberg, J. / Ehrig, H. et al. | 2006
- 226
-
Executable structural operational semantics in MaudeVerdejo, A. / Martí-Oliet, N. et al. | 2006
- 295
-
Author Index – Volume 67 (2006)| 2006
- 297
-
Keyword Index – Volume 67 (2006)| 2006
-
Contents| 2006
-
Editorial Board| 2006