Searching for "Multiset Theory." – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
- …A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. # F.J. Martn-Mateos, J…
- Cited by 3 (0 self) – Add To MetaCart
-
Mathematics of Multisets Apostolos Syropoulos
- …. This paper is an attempt to summarize most things that are related to multiset theory. We begin by describing…
- Add To MetaCart
-
On A Generalization Of Rough Sets
- … refer to concepts of the multiset theory and the theory of fuzzy sets. This work was supported…
- Cited by 1 (1 self) – Add To MetaCart
-
A Petri Net Based System Modelling Tool with TEG Subsystem Model
- … are formally represented using multiset theory but they have the additional advantage of having a concise…
- Cited by 3 (3 self) – Add To MetaCart
-
Multiset Rewriting By Multiset Constraint Solving
- … Rossi x Abstract Term-like theories of multisets have been recently studied from an axiomatic point…
- Add To MetaCart
-
Agostino Dovier
- … with the language and theory for multisets presented in [5]. This allows us, on the one hand, to define…
- Add To MetaCart
-
Multiset Constraints and P Systems
- … with the language and theory for multisets presented in [9]. This allows us, on the one hand, to dene and implement…
- Add To MetaCart
-
Comparing Expressiveness of Set Constructor Symbols
- …. Keywords. Sets and Multisets Theory, Unification, Constraints. Introduction In the practice of programming…
- Cited by 8 (8 self) – Add To MetaCart
-
Well-foundedness of the higher-order recursive path ordering in Coq
- … and the multiset extension of a relation. * Terms with the theory of simply typed *-calculus. * Horpo with deo…
- Cited by 5 (4 self) – Add To MetaCart
-
Coq formalization of the higher-order recursive path ordering
- … by MA. In this paper we focus on finite multisets only. Although some theory about multisets extends…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
