Titlebook: Logic Programming; 19th International C Catuscia Palamidessi Conference proceedings 2003 Springer-Verlag Berlin Heidelberg 2003 complexity.

撕成碎片

书目名称Logic Programming影响因子(影响力)




书目名称Logic Programming影响因子(影响力)学科排名




书目名称Logic Programming网络公开度




书目名称Logic Programming网络公开度学科排名




书目名称Logic Programming被引频次




书目名称Logic Programming被引频次学科排名




书目名称Logic Programming年度引用




书目名称Logic Programming年度引用学科排名




书目名称Logic Programming读者反馈




书目名称Logic Programming读者反馈学科排名

Subjugate

Catuscia PalamidessiIncludes supplementary material:

mosque

Arable

TAG

Logic Programming978-3-540-24599-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

贸易

0302-9743 Overview: Includes supplementary material: 978-3-540-20642-2978-3-540-24599-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

木讷

招惹

Logic Information Systems for Logic Programmers it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a . the role of a schema in data-bases. We present the principles o

HARD

travail

Compositional Verification of Infinite State Systemsse naturally in many application fields, ranging from communication protocols to multi-threaded programs and time-dependent systems, and are quite difficult to analyze and to reason about..The main approaches developed so far consist in the extension to the infinite case of techniques already develo