
NQTHM
 Referenced in 151 articles
[sw07543]
 partial recursive functions. These changes in the logic were described completely in their “Metafunctions: proving ... procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition ... quantification and partial functions to a computational logic and its theorem prover” [J. Autom. Reasoning...

XSB
 Referenced in 144 articles
[sw13877]
 Logic Programming and Deductive Database system for Unix and Windows. XSB Prolog. It is being ... number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova...

LPL software
 Referenced in 19 articles
[sw04860]
 undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. LPL consists...

IMPS
 Referenced in 52 articles
[sw09143]
 logic, algebra, and analysis and provides some support for modeling applications in computer science...

MCK
 Referenced in 33 articles
[sw09465]
 logic of knowledge, developed at the School of Computer Science and Engineering at the University ... variety of approaches to model checking the logic of knowledge. The novelty of this model...

Orbital library
 Referenced in 14 articles
[sw05562]
 oriented representations and algorithms for logic, mathematics, and computer science. It comprises theorem proving, computer...

TABLEAUX
 Referenced in 18 articles
[sw11674]
 attractive feature of these logics for possible applications in computer science and AI. The system...

Isar
 Referenced in 145 articles
[sw04599]
 actually formalizing parts of mathematics and computer science, there are still obstacles in addressing ... quite independent of the underlying logic, and integrates a broad range of automated proof methods...

LATIN
 Referenced in 16 articles
[sw19699]
 logics and related formal systems. These systems are at the core of mathematics and computer ... science and are implemented in systems like (semi)automated theorem provers, model checkers, computer algebra...

ACTLW
 Referenced in 7 articles
[sw21031]
 Nicola, F.W. Vaandrager, Action versus logics for transition systems, in: Semantics of Systems of Concurrent ... Proceedings LITP Spring School on Theoretical Computer Science, LNCS 469, 1990, pp. 407419]. ACTLW ... checking are shown. Usage of this new logic is illustrated by an example of verification...

EVOLP
 Referenced in 4 articles
[sw02677]
 Over the years, Logic Programming has proved to be a good and natural tool ... computer science. However, it is not so easy to use in dynamic environments. Evolving Logic ... elegant and powerful extension of Logic Programming suitable for MultiAgent Systems, planning and other ... transforming it into an equivalent normal logic program over an extended language, that serves...

ITSM2000
 Referenced in 19 articles
[sw16941]
 economics, engineering and the natural and social sciences. It assumes knowledge only of basic calculus ... professional version of the Windowsbased computer package ITSM2000, now available as a free download ... from the Springer Extras website. The logic and tools of time series modelbuilding...

onlineSPARC
 Referenced in 2 articles
[sw30283]
 answer set programming. Recent progress in logic programming (e.g. the development of the answer ... computer science, the complexity of downloading, installing, and using tools for writing logic programs could...

AUTO2
 Referenced in 6 articles
[sw17595]
 theorem prover for classical higherorder logic named auto2. The prover is designed to make ... several formalization projects in mathematics and computer science, demonstrating the high level of automation...

Paraconsistency
 Referenced in 1 article
[sw28572]
 paraconsistent logic avoids the explosion. Quite a few applications in computer science and engineering ... formalize a paraconsistent manyvalued logic that we motivated and described in a special issue...

QLGQ
 Referenced in 2 articles
[sw18547]
 This book provides a brief background in logic and introduces the concept ... suitable for graduatelevel students in computer science...

Newton
 Referenced in 6 articles
[sw21236]
 reconcile the declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval ... achieves an effective pruning at a reasonable computation cost and generalizes some traditional interval operators ... been applied to numerous applications in science and engineering, including nonlinear equationsolving, unconstrained optimization...

HYPERS
 Referenced in 6 articles
[sw06392]
 scales remains a major challenge in computational science. Previously, we introduced a new asynchronous approach ... unidimensional infrastructure for asynchronous simulations on logically uniform meshes. As the first example of this...

HASPRNG
 Referenced in 3 articles
[sw06044]
 computational science applications. In order to accelerate SPRNG in high performance reconfigurable computing systems ... Cray XD1 reconfigurable computing platforms, HASPRNG includes the reconfigurable logic for Field Programmable Gate Arrays...

Hoarescope
 Referenced in 0 articles
[sw05569]
 programs over natural numbers using Hoare logic (Hoare calculus). It can be used ... learning this aspect of theoretical computer science at the undergraduate level. Hoarescope performs inferences...