Algebraic high-level net transformation systems (English)
- New search for: Padberg, J.
- New search for: Ehrig, H.
- New search for: Ribeiro, L.
- New search for: Padberg, J.
- New search for: Ehrig, H.
- New search for: Ribeiro, L.
- New search for: Ehrig, H.
- New search for: Orejas, F.
In:
TAPSOFT '93: theory and practice of software development
2
;
217-256
-
ISSN:
- Conference paper / Print
-
Title:Algebraic high-level net transformation systems
-
Contributors:
-
Conference:4th International joint conference, TAPSOFT '93: theory and practice of software development ; 1993 ; Orsay; France
-
Published in:TAPSOFT '93: theory and practice of software development , 2 ; 217-256MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE ; 5, 2 ; 217-256
-
Publisher:
- New search for: Cambridge University Press
-
Size:40 pages
-
Remarks:Joint meeting incorporating the Colloquium on trees in algebra and programming (CAAP) and the Colloquium on formal approaches of software engineering (FASE); Described as 4th International conf, should be the 5th. See also 8141.808 vol 23 no 2-3 1994 for selected papers. See also 5180.185 no 668 1993 for papers; Includes papers from the joint workshop held in October 1992 in Caldes de Malavilla, Spain
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.