5 citations · 5 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
Blind proxy voting
Zuzana Haniková
A secret ballot mechanism that enables voting in absence is proposed. It amends standard vote collection methods that use ballot box as anonymizer, adding the option for absent vot…
cs.LO2018
Implicit definability of truth constants in Łukasiewicz logic
Zuzana Haniková
In the framework of propositional Łukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its…