Welcome to D
SIGMOD 2005
PODS 2005
SIGMOD-RECOR
CIDR 2005
CIKM 2005
COMAD 2005
CVDB 2005
DaMoN 2005
Data Enginee
DEBS05
DMSN 2005
DOLAP 2005
GIR 2005
GIS 2005
Hypertext 20
ICDE 2005
ICDM 2005
IHIS 2005
IQIS 2005
JCDL 2005
KRAS 2005
MDM 2005
MIR 2005
MobiDE 2005
P2PIR 2005
RIDE 2005
SBBD 2005
SIGIR 2005
SIGIR-FORUM
SIGKDD 2005
SIGKDD-EXP
SSDBM 2005
TIME 2005
<<< = TIME'05 Pape>>>
TKDE 2005
TODS 2005
VLDB 2005
VLDBJ 2005
WebDB 2005
WIDM 2005

TIME'05 - Temporal Logic in Computer Science 1


Quantitative temporal logics: PSPACE and below On the freeze quantifier in Constraint LTL: decidability and complexity Axiomatisation and decidability of multi-dimensional duration calculus
  • Andreas Schaefer


Return to TIME'05 session listing



©2006 Association for Computing Machinery