Semantics for dynamic logic programming: A principle-based approach | José Júlio Alferes

Semantics for dynamic logic programming: A principle-based approach

Citation:: Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Semantics for dynamic logic programming: A principle-based approach." Lecture Notes in Computer Science. Vol. 2923. 2004. 8-20.

Abstract:

n/a

Notes:

n/a