The Refined Extension Principle for Semantics of Dynamic Logic Programming

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
January 2005
Cite DOI
Type
Journal article
Publication
Stud Logica
Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.