Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:13:54 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||