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

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 wellordering, 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 multisetoriented presentation of the semantics...

Squeakr
 Referenced in 1 article
[sw36896]
 Squeakr is a kmercounting and multisetrepresentation system using the recentlyintroduced counting ... Squeakr representation of the kmer 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...