Normalizable Horn Clauses, Strongly Recognizable Relations and Spi | F. Nielson, H. Riis Nielson, H. Seidl
| | Type | Conference paper [With referee] | | Conference | Proc. SAS'02 | | Year | 2002 No. 2477 pp. 20-35 | | Publisher | Springer-Verlag | | Series | Lecture Notes in Computer Science | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|