Areces, Carlos (Carlos Eduardo)
Areces, Carlos
Carlos Areces Ph.D. Universiteit van Amsterdam 2000
VIAF ID: 306218479 ( Personal )
Permalink: http://viaf.org/viaf/306218479
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Complexity results for hybrid temporal logics | |
Expressiveness revisited | |
Hybrid logics : characterization, interpolation and complexity | |
Logic engineering : the case of description and hybrid logics |