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

撕成碎片

書目名稱Logic Programming影響因子(影響力)




書目名稱Logic Programming影響因子(影響力)學(xué)科排名




書目名稱Logic Programming網(wǎng)絡(luò)公開度




書目名稱Logic Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logic Programming被引頻次




書目名稱Logic Programming被引頻次學(xué)科排名




書目名稱Logic Programming年度引用




書目名稱Logic Programming年度引用學(xué)科排名




書目名稱Logic Programming讀者反饋




書目名稱Logic Programming讀者反饋學(xué)科排名

Subjugate

Catuscia PalamidessiIncludes supplementary material:

mosque

Arable

TAG

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

貿(mào)易

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