• CRC 3

• Referenced in 9 articles [sw09782]
• associativity without commutativity for which no finitary unification algorithms exist. In this paper we present...

• ELPI

• Referenced in 9 articles [sw28521]
• that admits constant time reduction and unification rules...

• MleanCoP

• Referenced in 8 articles [sw21522]
• prefixed connection calculus and an additional prefix unification, which captures the Kripke semantics of different...

• PROTOS-L

• Referenced in 7 articles [sw02876]
• supports the required polymorphic order- sorted unification. It communicates with a database inference engine realizing...

• linTAP

• Referenced in 7 articles [sw11991]
• ensures the linear validity using prefix unification. Due to the compact code the program...

• CLP(Flex)

• Referenced in 7 articles [sw28534]
• solving module, CLP(Flex), for dealing with unification in an equality theory for terms with...

• LIGHT

• Referenced in 3 articles [sw02357]
• constraint language and compiler system for typed-unification grammars. This work presents LIGHT, a feature ... deduction-based bottom-up parsing with typed-unification grammars. We overview both its formal definition ... extended abstract machine for feature structure unification...

• GLINTS

• Referenced in 3 articles [sw40628]
• Maude, version 2.7.1, provides quite sophisticated unification features, including order-sorted equational unification for convergent ... commutativity, and identity (ACU). This novel equational unification relies on built-in generation...

• ALE

• Referenced in 5 articles [sw28843]
• structural identity conditions. Grammars may also interleave unification steps with logic program goal calls...

• WaveSpect0

• Referenced in 4 articles [sw08760]
• presented including processing procedures of step-interval unification, adaptive stationary discrete wavelet denoising, baseline correction...

• Veriflog

• Referenced in 4 articles [sw08941]
• this language based on a new unification algorithm along with an interface to semistructured data...

• SNARK

• Referenced in 4 articles [sw19611]
• SNARK are its support for special unification algorithms, sorts, answer construction for program synthesis, procedural...

• HighDimOut

• Referenced in 2 articles [sw27459]
• dimensional outlier detection algorithms and a outlier unification scheme are implemented in this package ... Lazarevic and Kumar [2005]. The outlier unification scheme is based on the work of Kriegel...

• Multiflex

• Referenced in 3 articles [sw00602]
• relies on a finite-state machinery with unification. It can be applied to the creation...

• RuleMerger

• Referenced in 3 articles [sw22849]
• model transformation system. Yet, manual identification and unification of such similar rules is a tedious...

• unifed

• Referenced in 1 article [sw33151]
• package unifed: The Unifed Distribution. Probability functions, family for glm() and Stan code for working ... with the unifed distribution (Quijano Xacur, 2019;

• sphunif

• Referenced in 1 article [sw40632]
• main function of the package is unif_test(), which conveniently collects more than 30 tests ... test statistics are implemented in the unif_stat() function, which allows computing several statistics ... thus facilitating Monte Carlo experiments. Furthermore, the unif_stat_MC() function allows parallelizing them ... statistics are available through the function unif_stat_distr(). The core of ’sphunif’ is coded...

• GULP

• Referenced in 1 article [sw21217]
• GULP: Graph Unification and Logic Programming. GULP (Graph Unification Logic Programming) is a Prolog preprocessor ... unification-based grammar. It translates feature structures into standard Prolog programs. GULP is as powerful...

• MLOG

• Referenced in 2 articles [sw02152]
• kept for λ-calculus bindings and an unification primitive is introduced for the logical variables...

• SMCHR

• Referenced in 2 articles [sw09322]
• built-in” constraint solver supporting equality with unification and justifications...