Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.

Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt

Browse the full LPAR paper archive.