EEMCS

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

EEMCS EPrints Service


Editor: Smaus, J.G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1999

Bossi, A. and Etalle, S. and Rossi, S. (1999) Properties of Input-Consuming Derivations. In: ICLP'99 International Conference on Logic Programming: Workshop on Verification of Logic Programs, December 1, 1999, Las Cruces, New Mexico. pp. 1-23. Electronic Notes in Theoretical Computer Science 30. Elsevier. ISSN 1571-0661

This list was generated on Mon May 22 05:18:55 CEST 2017.