• 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...