Export: Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.
López García, Pedro and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2009). Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.
Please select an output format:
