Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
SIGMOD RECORD 2002
ADBIS 2002
CIKM 2002
CoopIS 2002
EDBT 2002
ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
SIGIR 2002
SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

Alfredo Burrieza

Papers on DiSC'03


Indexed Flows in Temporal x Modal Logic with Functional Semantics

Publications


Note: Links lead to the DBLP on the Web.

Alfredo Burrieza

3 Alfredo Burrieza, Inman P. de Guzmán : A functional approach for temporal × modal logics. Acta Informatica 39 (2): 71-96 (2003)

2 Alfredo Burrieza, Inman P. de Guzmán : A Temporal × Modal Approach to the Definability of Properties of Functions. FroCos 2002 : 239-254

1 Alfredo Burrieza, Inman P. de Guzmán , Emilio Muñoz : Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME 2002 : 146-




DiSC'03 © 2003 Association for Computing Machinery