Searching for "Encodings of Multisets." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Proving Termination using Recursive Path Orders and SAT solving
- … for the multiset extension of the base order, and (3) the combination of the encoding for precedences and argument…
- Cited by 3 (3 self) – Add To MetaCart
-
Encryption as an abstract data-type: An extended abstract
- … clause for short. Here, . encodes as the multiset constructor and ⊥ encodes the empty multiset, H…
- Cited by 5 (1 self) – Add To MetaCart
-
Petri Nets and Linear Logic: a case study for logic programming
- …], and compare their flexibility precisely on the encoding of Petri nets (or equivalently of multiset rewriting…
- Cited by 10 (2 self) – Add To MetaCart
-
On Linear Logic Planning and Concurrency
- …, e.g., [4, 12]). In such an encoding, the multiset rewrite rules represent the possible firings…
- Add To MetaCart
-
On Linear Logic Planning and Concurrency
- … is established. This is performed by extracting partial order plans from sound and complete encodings of planning…
- Add To MetaCart
-
Petri Nets as Multiset Rewriting Systems in a Linear Framework
- … direct encoding of the entities pertaining to multiset rewrite systems. We were able to prove…
- Cited by 1 (1 self) – Add To MetaCart
-
LO and Behold! Concurrent Structured Processes
- … are encoded as multisets (i.e. unordered lists) of independent units. For example, an instance of coloured 2…
- Cited by 12 (3 self) – Add To MetaCart
-
Indecomposable tilings of the integers with exponentially long periods
- … Author supported by NSF VIGRE grant no. DMS-0135345 Abstract Let A be a finite multiset of integers. A…
- Cited by 3 (1 self) – Add To MetaCart
-
IOS Press P Systems with Proteins on Membranes
- … to process is encoded in the multisets from the regions of a P system, but these objects evolve under…
- Add To MetaCart
Showing 1 through 9.
