Decidable classes of documents for XPath

被引：0
|
作者：
Bárány, Vince [1 ,2 ]
Bojańczyk, Mikolaj [2 ]
Figueira, Diego [2 ,3 ]
Parys, Pawel [2 ]
机构：
[1] TU Darmstadt, Darmstadt, Germany
[2] University of Warsaw, Warsaw, Poland
[3] University of Edinburgh, Edinburgh, United Kingdom
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2012年 / 18卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
XML
引用
收藏
页码：99 / 111
相关论文
共 50 条
  • [41] Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes
    Asuncion, Vernon
    Zhang, Yan
    Zhang, Heng
    Li, Ruixuan
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019, 64 : 749 - 815
  • [42] Rewriting XPath queries using materialized XPath views
    Ramanan, Prakash
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (04) : 1006 - 1025
  • [43] XPath Leashed
    Benedikt, Michael
    Koch, Christoph
    ACM COMPUTING SURVEYS, 2008, 41 (01)
  • [44] Constructing Decidable Graphs from Decidable Structures
    Bazhenov, N. A.
    Harrison-Trainor, M.
    ALGEBRA AND LOGIC, 2019, 58 (05) : 369 - 382
  • [45] Translating authentic technical documents in specialised translation classes
    Galan-Manas, Anabel
    JOURNAL OF SPECIALISED TRANSLATION, 2011, (16): : 109 - 125
  • [46] Conditional XPath
    Marx, M
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 2005, 30 (04): : 929 - 959
  • [47] Constructing Decidable Graphs from Decidable Structures
    N. A. Bazhenov
    M. Harrison-Trainor
    Algebra and Logic, 2019, 58 : 369 - 382
  • [48] COMPLETE, DECIDABLE THEORY WITH 2 DECIDABLE MODELS
    MILLAR, TS
    JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 307 - 312
  • [49] Automata transformations of prefix decidable and decidable by Buchi superwords
    Korneeva N.N.
    Russian Mathematics, 2016, 60 (7) : 47 - 55
  • [50] Decidable modules
    Ziegler, M
    ALGEBRAIC MODEL THEORY, 1997, 496 : 255 - 274
12345