• GraphLog

  • Referenced in 30 articles [sw20098]
  • linear Datalog, first order logic with transitive closure, and non-deterministic logarithmic space (assuming ordering...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • several families of operators with their transitive closure and converse. The decision procedure...
  • Regular Sets

  • Referenced in 14 articles [sw28793]
  • relations over union, concatenation and (reflexive) transitive closure is obtained. Extended regular expressions with complement...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • first-order logic extended with transitive closure; its data complexity is PTIME; and over relational...
  • Relation Algebra

  • Referenced in 6 articles [sw32202]
  • also expanded by a reflexive transitive closure operation, and they are linked with Kleene algebras...
  • d2_cluster

  • Referenced in 5 articles [sw28788]
  • sequences according to minimal linkage or “transitive closure” rules. We then evaluate the relative efficiency...
  • JKelloy

  • Referenced in 2 articles [sw09964]
  • specification language with a built-in transitive closure operator which makes it particularly suitable...
  • HAGAR

  • Referenced in 1 article [sw02336]
  • Graph algorithms, such as vertex reachability, transitive closure, and shortest path, are fundamental in many ... further be used to implement transitive closure, connected components, and other high- level graph algorithms...
  • Kelloy

  • Referenced in 1 article [sw09963]
  • logic with built-in operators for transitive closure, set cardinality, and integer arithmetic. The Alloy...
  • S4CAD

  • Referenced in 1 article [sw00822]
  • systolic structure for the transitive closure algorithm is presented...
  • TRaCE+

  • Referenced in 1 article [sw29319]
  • TRaCE - Transitive Reduction and Closure Ensemble. Inferring the structure of gene regulatory networks (GRNs) from...
  • ANSYS

  • Referenced in 652 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Apron

  • Referenced in 66 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • CoCoA

  • Referenced in 615 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1763 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2797 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 556 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • LANGAGE

  • Referenced in 36 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of...
  • LAPACK

  • Referenced in 1604 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1620 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...