EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

1178 More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics

Home Policy Brochure Browse Search User Area Contact Help

Bossi, A. and Etalle, S. (1994) More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. In: 4th Int. Workshop on Meta Programming in Logic (META), Pisa, Italy. pp. 311-331. Springer-Verlag. ISBN 3-540-58792-6

Full text not available from this repository.

Item Type:	Conference or Workshop Paper (Proceedings UNSPECIFIED, Presentation Type UNSPECIFIED)
Research Group:	EWI-DIES: Distributed and Embedded Security
Additional Information:	Imported from DIES
ID Code:	1178
Status:	Published
Deposited On:	12 December 2005
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

BibTeX
XML

To correct this item please ask your editor

Repository Staff Only: edit this item