
Nested Multisets
 Referenced in 3 articles
[sw28910]
 defines Dershowitz and Manna’s nested multiset order. The order is proved well founded ... removing one constructor, we transform the nested multisets into hereditary multisets. These are isomorphic ... normal form. Addition, subtraction, multiplication, and linear orders are provided on this type...

HOCL
 Referenced in 9 articles
[sw07078]
 present applications through various programming examples. First, multisets are generalised to include rewrite rules, which ... rules the essence of higherorder chemical programming. By extending the $gamma$calculus with constants ... build a higherorder chemical programming language called HOCL. Finally, multisets are further generalised...

TAFA
 Referenced in 2 articles
[sw07524]
 algebras, according to the standard multiset wellordering, such that a quasiequation is admissible...

Squeakr
 Referenced in 1 article
[sw36896]
 Squeakr is a kmercounting and multisetrepresentation system using the recentlyintroduced counting ... orderof magnitude faster than other systems. The Squeakr representation of the kmer multiset...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

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

Macaulay2
 Referenced in 1904 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

MapReduce
 Referenced in 262 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

Theorema
 Referenced in 149 articles
[sw00961]
 The software system Theorema provides a uniform logic...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

HyperLogLog
 Referenced in 22 articles
[sw02063]
 HyperLogLog: the analysis of a nearoptimal cardinality...

SPIN
 Referenced in 723 articles
[sw03455]
 Spin is a popular opensource software tool...

Haskell
 Referenced in 879 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

AS 179
 Referenced in 1 article
[sw03813]
 Algorithm AS 179. Enumeration of all permutations of...

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

CSPLib
 Referenced in 91 articles
[sw04150]
 CSPLib is a library of test problems for...