Hybrid Logic for Expressing XML Schemas with Typed References.

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00539716
Contributor : Dario Colazzo <>
Submitted on : Wednesday, November 24, 2010 - 11:30:42 PM
Last modification on : Tuesday, April 24, 2018 - 1:51:42 PM

Identifiers

  • HAL Id : inria-00539716, version 1

Collections

Citation

Nicole Bidoit, Dario Colazzo. Hybrid Logic for Expressing XML Schemas with Typed References.. Seventh International Conference on Computer Science and Information (CSIT) year = 2009, Nov 2009, Yerevan, Armenia. ⟨inria-00539716⟩

Share

Metrics

Record views

86