Conference Proceedings

An abstract interpretation framework for termination analysis of active rules

J Bailey, A Poulovassilis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Published : 2000

Citation metrics