• Essence

  • Referenced in 19 articles [sw27491]
  • combinatorial objects, such as tuples, sets, multisets, relations, partitions and functions. Essence also allows these...
  • Murphi

  • Referenced in 16 articles [sw22149]
  • more advanced types such as the multiset, or scalarset. Murphi has a formal verifier that...
  • HOCL

  • Referenced in 8 articles [sw07078]
  • Generalised multisets for chemical programming Gamma is a programming model in which computation ... formalised as associative, commutative, conditional rewritings of multisets where rewrite rules and multisets represent chemical ... this article we generalise the notion of multiset used by Gamma and present applications through ... various programming examples. First, multisets are generalised to include rewrite rules, which become first-class...
  • MahonianStat

  • Referenced in 12 articles [sw06180]
  • inversions in a permutation of a multiset with $a_i$ elements of type...
  • LMNtal

  • Referenced in 9 articles [sw07312]
  • models, especially those addressing concurrency, mobility and multiset rewriting. Although the principal objective of LMNtal...
  • sets

  • Referenced in 6 articles [sw25148]
  • ordinary sets, generalizations such as fuzzy sets, multisets, and fuzzy multisets, customizable sets, and intervals...
  • Nested Multisets

  • Referenced in 3 articles [sw28910]
  • Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals. This Isabelle/HOL formalization introduces a nested ... multiset datatype and defines Dershowitz and Manna’s nested multiset order. The order is proved ... removing one constructor, we transform the nested multisets into hereditary multisets. These are isomorphic...
  • GRAPPA

  • Referenced in 6 articles [sw20931]
  • acceptance conditions used here are functions from multisets of labels to truth values. We define...
  • Coccinelle

  • Referenced in 3 articles [sw29246]
  • rewriting in Coq, for instance RPO with multiset status and equality modulo AC. Moreover...
  • GraMoFoNe

  • Referenced in 3 articles [sw34237]
  • connected occurrences of a motif (set or multiset of proteins), given by the user, into...
  • Multisets

  • Referenced in 1 article [sw32657]
  • Wolfram library archive: Multisets package. The multisets package defines two functions, Multisets and NumberOfMultisets. NumberOfMultisets...
  • MUNCH

  • Referenced in 1 article [sw07181]
  • MUNCH -- automated reasoner for sets and multisets This system description provides an overview ... MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula ... logic that supports expressions about sets, multisets, and integers. Constraints over collections and integers...
  • TAFA

  • Referenced in 2 articles [sw07524]
  • algebras, according to the standard multiset well-ordering, such that a quasiequation is admissible...
  • QWeSST

  • Referenced in 1 article [sw14207]
  • rules with a construction that realizes parametric multiset comprehension, which makes it convenient to capture ... developing a proof methodology that parallels the multiset-oriented presentation of the semantics...
  • Squeakr

  • Referenced in 1 article [sw36896]
  • Squeakr is a k-mer-counting and multiset-representation system using the recently-introduced counting ... Squeakr representation of the k-mer multiset turns out to be immediately useful for downstream...
  • AS 179

  • Referenced in 1 article [sw03813]
  • Enumeration of all permutations of multisets with fixed repetition numbers...
  • ecmh

  • Referenced in 1 article [sw18872]
  • Elliptic Curve Multiset Hash library...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

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

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...