Original language | English |
---|---|
Title of host publication | Proc. SAS'02 : Lecture Notes in Computer Science, vol. 2477 |
Publisher | Springer |
Publication date | 2002 |
Pages | 20-35 |
Publication status | Published - 2002 |
Normalizable Horn Clauses, Strongly Recognizable Relations and Spi
Flemming Nielson, Hanne Riis Nielson, H. Seidl
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review