Navegación

Búsqueda

Búsqueda avanzada

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach

25th International Symposium on Temporal Representation and Reasoning (TIME 2018)Warsaw, Poland 15-17 October 2018.