Superposition-based equality handling for analytic tableaux

被引：0
|
作者：
Giese, Martin [1 ]
机构：
[1] Johann Radon Institute for Computational and Applied Mathematics, Austrian Academy of Sciences, Altenbergerstr. 69, A-4040 Linz, Austria
来源：
Journal of Automated Reasoning | 2007年 / 38卷 / 1-3期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Conference article (CA)
引用
收藏
页码：127 / 153
相关论文
共 50 条
  • [21] Superposition-Based Analysis of First-Order Probabilistic Timed Automata
    Fietzke, Arnaud
    Hermanns, Holger
    Weidenbach, Christoph
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 302 - +
  • [22] Semantic tableaux with equality
    Beckert, B
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (01) : 39 - 58
  • [23] The scattering of SH waves by a finite crack with a superposition-based diffraction technique
    Valencia, Camilo
    Gomez, Juan
    Jaramillo, Juan
    Saenz, Mario
    Vergara, Juan
    STUDIA GEOPHYSICA ET GEODAETICA, 2017, 61 (01) : 93 - 114
  • [24] The scattering of SH waves by a finite crack with a superposition-based diffraction technique
    Camilo Valencia
    Juan Gomez
    Juan Jaramillo
    Mario Saenz
    Juan Vergara
    Studia Geophysica et Geodaetica, 2017, 61 : 93 - 114
  • [25] Superposition-based Modelling of Series FACTS in Nonlinear Mathematical Optimized Grid Operation
    Mende, Denis
    Stock, David Sebastian
    Hofmann, Lutz
    2020 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT-EUROPE 2020): SMART GRIDS: KEY ENABLERS OF A GREEN POWER SYSTEM, 2020, : 359 - 363
  • [26] The complexity of analytic tableaux
    Arai, Noriko H.
    Pitassi, Toniann
    Urquhart, Alasdair
    JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (03) : 777 - 790
  • [27] ANALYTIC TABLEAUX AND INTERPOLATION
    Kapetanovic, Miodrag
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2007, 82 (96): : 93 - 97
  • [28] Analytic fuzzy tableaux
    L. Di Lascio
    Soft Computing, 2001, 5 (6) : 434 - 439
  • [29] Linear analytic tableaux
    Meyer, RK
    McRobbie, MA
    Belnap, N
    THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 278 - 293
  • [30] A CONCURRENT MULTISCALE APPROACH FOR FRACTURING OF BRITTLE COMPOSITES BASED ON THE SUPERPOSITION-BASED PHASE FIELD MODEL
    Cheng, Panpan
    Zhu, Hehua
    Sun, Wei
    Shen, Yi
    Fish, Jacob
    INTERNATIONAL JOURNAL FOR MULTISCALE COMPUTATIONAL ENGINEERING, 2022, 20 (02) : 1 - 23
12345