Normalizable Horn Clauses, Strongly Recognizable Relations and Spi

F. Nielson, H. Riis Nielson, H. Seidl

TypeConference paper [With referee]
ConferenceProc. SAS'02
Year2002    No. 2477    pp. 20-35
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering