External Links

    Journal: Sci. Ann. Cuza Univ.

    Volume 23, Issue 2

    169 -- 190Jan A. Bergstra, Cornelis A. Middelburg. Timed Tuplix Calculus and the Wesseling and van den Bergh Equation
    191 -- 228Ioana Boureanu, Serge Vaudenay. UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence
    229 -- 249Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski. Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended)
    251 -- 284Viorica Sofronie-Stokkermans. Locality and Applications to Subsumption Testing in EL and Some of its Extensions
    runs on