Titlebook: Automated Reasoning; 8th International Jo Nicola Olivetti,Ashish Tiwari Conference proceedings 2016 Springer International Publishing Switz

反抗日本

书目名称Automated Reasoning影响因子(影响力)




书目名称Automated Reasoning影响因子(影响力)学科排名




书目名称Automated Reasoning网络公开度




书目名称Automated Reasoning网络公开度学科排名




书目名称Automated Reasoning被引频次




书目名称Automated Reasoning被引频次学科排名




书目名称Automated Reasoning年度引用




书目名称Automated Reasoning年度引用学科排名




书目名称Automated Reasoning读者反馈




书目名称Automated Reasoning读者反馈学科排名

全面

Nominal Confluence Toolki et al., 2015) revisited confluence of nominal rewriting in the light of feasibility. We report on an implementation of a confluence tool for (non-closed) nominal rewriting, based on (Suzuki et al., 2015) and succeeding studies.

有害

Terminal

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in order-sorted unification modulo a finite variant theory, and (iv) symbolic reachability modulo a finite variant theory.

集聚成团

Automated Reasoning978-3-319-40229-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

嘲弄

急性

Henry deF. Webster,Karl E. Åströmki et al., 2015) revisited confluence of nominal rewriting in the light of feasibility. We report on an implementation of a confluence tool for (non-closed) nominal rewriting, based on (Suzuki et al., 2015) and succeeding studies.

性学院

RAFF

quiet-sleep

https://doi.org/10.1007/978-3-319-40229-1description logics; higher order logic; modal logics; temporal logics; theorem proving; automated reasoni