BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
A Modal Logic of Durative Actions

Participantes na publicação
Nunes I (Author)
Dep. Informática
BioISI
Fiadeiro J (Author)
Turski W (Author)

Editor
H.Barringer et al

Data de Publicação
2000

Suporte
Advances in Temporal Logic

Identificadores da Publicação

Editora
Kluwer Academic Publishers

Página Inicial
299
Página Final
317

Identificadores do Documento
URL - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.2465&rep=rep1&type=pdf
DOI - https://doi.org/10.1007/978-94-015-9586-5_15


Exportar referência

APA
Nunes I, Fiadeiro J, Turski W, (2000). A Modal Logic of Durative Actions. Advances in Temporal Logic, 299-317. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.2465&rep=rep1&type=pdf

IEEE
Nunes I, Fiadeiro J, Turski W, "A Modal Logic of Durative Actions" in Advances in Temporal Logic, pp. 299-317, 2000. 10.1007/978-94-015-9586-5_15

BIBTEX
@article{40669, author = {Nunes I and Fiadeiro J and Turski W}, title = {A Modal Logic of Durative Actions}, journal = {Advances in Temporal Logic}, year = 2000, pages = {299-317}, }