Results 291 to 300 of about 4,294,743 (304)

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

International Joint Conference on Electronic Voting, 2017
A. Bruni, Eva Drewsen, C. Schürmann
semanticscholar   +1 more source

Deadlock-freeness

2001
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre Mckenzie   +7 more
openaire   +1 more source

Freeness

2009
openaire   +1 more source

Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt

PrAISe@ECAI, 2016
M. Tabatabaei, Wojciech Jamroga, P. Ryan
semanticscholar   +1 more source

Affine Monads and Side-Effect-Freeness

International Workshop on Coalgebraic Methods in Computer Science, 2016
B. Jacobs
semanticscholar   +1 more source

The Effect of Lignin Content and Freeness of Pulp on the Bioethanol Productivity of Jabon Wood

, 2016
N. Wistara, Rospita Pelawi, W. Fatriasari   +2 more
semanticscholar   +1 more source

Freeness

openaire   +1 more source

Freeness and Isolation

1988
openaire   +1 more source

Freeness and Isolation

2017
openaire   +1 more source

Radicals and local freeness

Archiv der Mathematik, 1979
openaire   +2 more sources