
ConGolog
 Referenced in 48 articles
[sw01801]
 concurrent programming language based on the situation calculus As an alternative to planning, an approach ... considered. A formal definition in the situation calculus of such a programming language is presented ... userdefined by axioms in the situation calculus. Some mathematical properties of the language...

ML
 Referenced in 76 articles
[sw20907]
 function plays a fundamental role in fractional calculus. In the present paper, a method...

DIMSYM
 Referenced in 73 articles
[sw04279]
 EXCALC so that all the machinery of calculus on manifolds can be utilised from within...

leanTAP
 Referenced in 38 articles
[sw09985]
 implementation of a sequent calculus. He shows correctness and completeness of this calculus. Since ... correspondence between the sequent calculus and the program leanTAP is evident, this in turn constitutes ... leanTAP. Next, the author generalizes the sequent calculus to the modal logic K and sketches ... proof of the completeness of this sequent calculus. Then, the author transforms the sequent calculus...

COWS
 Referenced in 51 articles
[sw06955]
 calculus for orchestration of web services. We introduce COWS (Calculus for Orchestration of Web Services...

Pict
 Referenced in 71 articles
[sw08929]
 Milner, Parrow, and Walker’s picalculus  has been used as a theoretical foundation...

Abella
 Referenced in 49 articles
[sw09461]
 prove normalizability properties of the λcalculus, cut admissibility for a sequent calculus and type...

iProver
 Referenced in 49 articles
[sw09707]
 prover which is based on InstGen calculus, complete for firstorder logic ... addition to instantiation, iProver implements ordered resolution calculus and a combination of instantiation and ordered...

ALF
 Referenced in 67 articles
[sw08603]
 basic meta theory properties of the substitution calculus. The algorithm is extended to handle incomplete...

Racer
 Referenced in 65 articles
[sw09837]
 system that implements a highly optimized tableau calculus for the description logic SRIQ(D). Racer...

Isabelle/ZF
 Referenced in 62 articles
[sw04973]
 proving those formulas in a logical calculus. The main application is the formalization of mathematical...

Satallax
 Referenced in 50 articles
[sw06849]
 corresponding to rules of a complete tableau calculus and calls MiniSat periodically to test satisfiability...

Church
 Referenced in 50 articles
[sw08946]
 based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic...

HiLog
 Referenced in 47 articles
[sw01580]
 functions, and atomic formulas occur in predicate calculus. But its semantics is firstorder...

MiniML
 Referenced in 47 articles
[sw29625]
 demonstrate the sense in which our λe→□calculus captures staging, and also give a conservative...

MWB
 Referenced in 33 articles
[sw04395]
 mobility workbench — A tool for the πCalculus. n this paper we describe the first ... evolving connectivity structures) described in the πcalculus. The main feature of this version...

DifferentialGeometry
 Referenced in 26 articles
[sw07593]
 package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, spinor ... calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the variational calculus. These capabilities...

OSCAR
 Referenced in 44 articles
[sw26328]
 upon a rich logic like the predicate calculus cannot function like a traditional theorem prover...

KeYmaera
 Referenced in 41 articles
[sw03709]
 KeYmaera implements a generalized freevariable sequent calculus and automatic proof strategies that decompose...

EXCALC
 Referenced in 41 articles
[sw06318]
 familiar with the calculus of Modern Differential Geometry. The program is currently able to handle...