Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:45:33 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||