Search Results - "ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees"
-
1
Authors: et al.
Contributors: et al.
Source: 2007 ACM SIGPLAN conference on Programming language design and implementation
https://inria.hal.science/inria-00502789
2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩Subject Terms: Modal logic, satisfiability, type checking, XPath, algorithms, languages, theory, verification, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: New York, NY, United States
-
2
Authors: et al.
Contributors: et al.
Source: 2007 ACM SIGPLAN conference on Programming language design and implementation
https://inria.hal.science/inria-00502789
2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩Subject Terms: Modal logic, satisfiability, type checking, XPath, algorithms, languages, theory, verification, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: New York, NY, United States
-
3
Authors: et al.
Contributors: et al.
Source: 2007 ACM SIGPLAN conference on Programming language design and implementation
https://hal.inria.fr/inria-00502789
2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩Subject Terms: Modal logic, satisfiability, type checking, XPath, algorithms, languages, theory, verification, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: New York, NY, United States
Relation: inria-00502789; https://hal.inria.fr/inria-00502789; https://hal.inria.fr/inria-00502789/document; https://hal.inria.fr/inria-00502789/file/Geneves2007Efficient-Static-Ana.pdf
-
4
Authors: et al.
Contributors: et al.
Source: Extending DataBase Technology ; https://inria.hal.science/inria-00106788 ; Extending DataBase Technology, Mar 2006, Munich/Allemagne
Subject Terms: ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design/H.2.1.0: Data models, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
-
5
Authors: et al.
Contributors: et al.
Source: Extending DataBase Technology ; https://inria.hal.science/inria-00106788 ; Extending DataBase Technology, Mar 2006, Munich/Allemagne
Subject Terms: ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design/H.2.1.0: Data models, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
-
6
Authors: et al.
Contributors: et al.
Source: Extending DataBase Technology ; https://hal.inria.fr/inria-00106788 ; Extending DataBase Technology, Mar 2006, Munich/Allemagne
Subject Terms: ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design/H.2.1.0: Data models, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
Relation: inria-00106788; https://hal.inria.fr/inria-00106788; https://hal.inria.fr/inria-00106788/document; https://hal.inria.fr/inria-00106788/file/abiteboul2006querying-short.pdf
-
7
Authors: et al.
Contributors: et al.
Source: JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2012 ; https://inria.hal.science/hal-00763792 ; JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2012, Jul 2012, Rennes, France
Subject Terms: ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES/J.3.0: Biology and genetics, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.3: Clustering/I.5.3.0: Algorithms, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees
Availability: https://inria.hal.science/hal-00763792
-
8
Authors: et al.
Contributors: et al.
Source: JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2012 ; https://inria.hal.science/hal-00763792 ; JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2012, Jul 2012, Rennes, France
Subject Terms: ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES/J.3.0: Biology and genetics, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.3: Clustering/I.5.3.0: Algorithms, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees
Availability: https://inria.hal.science/hal-00763792
-
9
Authors: et al.
Contributors: et al.
Source: JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2012 ; https://hal.inria.fr/hal-00763792 ; JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2012, Jul 2012, Rennes, France
Subject Terms: ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES/J.3.0: Biology and genetics, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.3: Clustering/I.5.3.0: Algorithms, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees
Relation: hal-00763792; https://hal.inria.fr/hal-00763792
Availability: https://hal.inria.fr/hal-00763792
-
10
Authors: et al.
Contributors: et al.
Source: 1st ACM International Conference on Multimedia Retrieval
https://inria.hal.science/hal-00644939
1st ACM International Conference on Multimedia Retrieval, Apr 2011, Trento, Italy. ⟨10.1145/1991996.1992050⟩
http://doi.acm.org/10.1145/1991996.1992050Subject Terms: ACM: E.: Data/E.1: DATA STRUCTURES, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]
Time: Trento, Italy
-
11
Authors: et al.
Contributors: et al.
Source: 1st ACM International Conference on Multimedia Retrieval
https://inria.hal.science/hal-00644939
1st ACM International Conference on Multimedia Retrieval, Apr 2011, Trento, Italy. ⟨10.1145/1991996.1992050⟩
http://doi.acm.org/10.1145/1991996.1992050Subject Terms: ACM: E.: Data/E.1: DATA STRUCTURES, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]
Time: Trento, Italy
-
12
Authors: et al.
Contributors: et al.
Source: 1st ACM International Conference on Multimedia Retrieval
https://inria.hal.science/hal-00644939
1st ACM International Conference on Multimedia Retrieval, Apr 2011, Trento, Italy. ⟨10.1145/1991996.1992050⟩
http://doi.acm.org/10.1145/1991996.1992050Subject Terms: ACM: E.: Data/E.1: DATA STRUCTURES, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]
Time: Trento, Italy
-
13
Authors: et al.
Contributors: et al.
Source: 1st ACM International Conference on Multimedia Retrieval
https://hal.inria.fr/hal-00644939
1st ACM International Conference on Multimedia Retrieval, Apr 2011, Trento, Italy. ⟨10.1145/1991996.1992050⟩
http://doi.acm.org/10.1145/1991996.1992050Subject Terms: ACM: E.: Data/E.1: DATA STRUCTURES, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]
Time: Trento, Italy
Relation: hal-00644939; https://hal.inria.fr/hal-00644939
Nájsť tento článok vo Web of Science