
GraphLog
 Referenced in 30 articles
[sw20098]
 linear Datalog, first order logic with transitive closure, and nondeterministic 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]
 firstorder 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 builtin 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 builtin 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...