… Campanelli and Gennaro constructed a sequentially composable protocol [8] and yet another
space-efficient one [9]. Inasawa and Yasunaga explored [18] a variant where both prover …

… proof systems where security holds against rational parties instead of malicious ones. Our
starting point is the notion of rational arguments, a variant of rational proofs (… read sequentially …

… Relying on this, the proof of the implication from right to left of Theorem 36 … 1-rational
languages of S P ⋄ ( A ) In the remainder of the paper, we need sequentially operations to compose …

… This thesis looks at techniques to prove that general … When we decompose a sequential
pomset into components, … perform, and compose them using sequential and parallel composition…

… is the sum of a rational linear function and periodic function (… part of our result is the proof
that the eventually-min condition … input species sequentially, tracks the periodic value x mod p, …

… applied in this case to compose a constructive proof for the termination of the NF algorithm.
… This action for * is carried out successively for all freedom places in p. The resulting redex …

… for reducing the task of proving quadratic relations to that of proving linear relations, with …
instantiation on the recently introduced SIS-based sequential relations [32], we obtain the first …

… proving that |$\sqrt 2^{\sqrt 2}$| is either rational or irrational. This strategy of … compose
proofs by cut and certainly no cut elimination. In fact, proving cut elimination for expansion proofs, …

… operations on real-valued variables with rational literals q ∈ Q and rational exponentiation
θ … In Example 2c we subdivide the proof into several invariants which we prove successively. …

… the sequential semantics in mind, we naturally would like to ensure a concurrent semantics
that is equivalent to the sequential … While serializability is insufficient, we prove that scoped …