EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Pettorossi, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2001

Delzanno, G. and Etalle, S. (2001) Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. In: 11th Int. Logic Based Program Synthesis and Transformation (LOPSTR), Paphos, Greece. pp. 76-90. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-43915-3

1992

Bossi, A. and Cocco, N. and Etalle, S. (1992) Transforming Normal Programs by Replacement. In: 3rd Int. Workshop Meta Programming in Logic (META), Uppsala, Sweden. pp. 265-279. Springer-Verlag. ISBN 3-540-56282-6

This list was generated on Fri Mar 24 05:40:21 CET 2017.