- Title
- Query processing in peer-to-peer systems: An epistemic logic approach
- Creators
- Diego Calvanese - Free University of Bozen-Bolzano
- Publication Details
- Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2005), pp.1-1
- ISBN
- 3540289313
- Conference
- 14th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2005) (01/01/2005 - 31/12/2005)
- Publisher
- Springer
- Number of pages
- 1
- Identifiers
- 3540289313
(UNIBZ)465800
991006494078601241 - Scopus ID
- n.a.
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Abstract
- Author Names String
- Calvanese D
Abstract
Query processing in peer-to-peer systems: An epistemic logic approach
Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2005), pp.1-1
14th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2005) (01/01/2005 - 31/12/2005)
2005
Handle:
https://hdl.handle.net/10863/35222
Details
Metrics
1 Record Views