José Júlio Alferes

Citation:

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "The Refined Extension Principle for Semantics of Dynamic Logic Programming." Studia Logica. 79 (2005): 7-32.

Abstract:

n/a

Notes:

n/a