• 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 ... user-defined 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 pi-calculus - 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 Inst-Gen calculus, complete for first-order 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 first-order...
  • 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 free-variable 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...