Fingerprint
Dive into the research topics of 'An implementation and evaluation of the refined triggering graph method for active rule termination analysis'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Michael K. Tschudi, Susan D. Urban, Suzanne Dietrich, Anton P. Karadimce
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution