Optimal Information Rate of Secret Sharing Schemes on Trees von Csirmaz, L., Tardos, G.

Volltext

Book Inequalities von Csirmaz, Laszlo

Volltext

The size of a share must be large von CSIRMAZ, L

Volltext

Programs and program verifications in a general setting von Csirmaz, L.

Volltext

Determinateness of program equivalence over Peano axioms von Csirmaz, L.

Volltext

Stability of Weak Second-Order Semantics von Csirmaz, László

Volltext

Optimal information rate of secret sharing schemes on trees von Csirmaz, L, Tardos, G

Volltext bestellen

On the strength of “sometimes” and “always” in program verification von Csirmaz, L.

Volltext

Variations on a game von Beck, J, Csirmaz, L

Volltext

Optimal information rate of secret sharing schemes on trees von Csirmaz, L, Tardos, G

Volltext

A PROPERTY OF 2-SORTED PEANO MODELS AND PROGRAM VERIFICATION von Csirmaz, L., Paris, J. B.

Volltext

Strong Semantical Characterization for Nondeterministic Programs von Csirmaz, Laszlo

Volltext

A completeness theorem for dynamic logic von CSIRMAZ, L

Volltext

Adjectives and Adverbs: Syntax, Semantics, and Discourse von Csirmaz, Aniko

Volltext