• ML

  • Referenced in 81 articles [sw20907]
  • function plays a fundamental role in fractional calculus. In the present paper, a method...
  • 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...
  • leanTAP

  • Referenced in 39 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...
  • DIMSYM

  • Referenced in 73 articles [sw04279]
  • EXCALC so that all the machinery of calculus on manifolds can be utilised from within...
  • 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 50 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 52 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...
  • DifferentialGeometry

  • Referenced in 27 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...
  • 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...
  • OSCAR

  • Referenced in 45 articles [sw26328]
  • upon a rich logic like the predicate calculus cannot function like a traditional theorem prover...
  • K Prover

  • Referenced in 42 articles [sw32257]
  • particular, computations extend the original language or calculus syntax. K (rewrite) rules generalize conventional rewrite...
  • Darwin

  • Referenced in 26 articles [sw04175]
  • into the currently implemented version of the calculus, it is instead automatically axiomatized ... first implementation of the Model Evolution Calculus (see papers below). The Model Evolution Calculus lifts...