The Refined Extension Principle for Semantics of Dynamic Logic Programming

AuthID
 P-007-E7Y
4
Author(s)
Banti, F
·
Brogi, A
·
Tipo de Documento
Article
Year published
2005
Publicado
in Stud Logica, ISSN: 00393215
Volume: 79, Número: 1, Páginas: 7-32 (25)
Indexing
Scopus®
Dblp®/pt/publications/view/243966
Crossref®37
Google Scholar®
Publication Identifiers
DBLP: journals/sLogica/AlferesBBL05
SCOPUS: 2-s2.0-26844494428
Source Identifiers
ISSN: 00393215
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service