Searching for authors named "Jurate Sakalauskaite" – sorted by Relevance.
1 documents found, showing 1 through 1.
-
A Logic for Set-Valued Functions: Cut-Elimination and Other Improvements
- …Motivated by the interest in algebraic specification of nondeterminism we sketch the multialgebraic semantics and present an associated sound and complete calculus. Through a series of transformations we arrive at an equivalent calculus not containing the general cut rule. We show also how specific …
- Add To MetaCart
Showing 1 through 1.
