VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Bonchis, Cosmin	Interactive Particle Systems and Random Walks on Hypergraphs
D
Dershowitz, Nachum	Cellular Automata are Generic
Di Pierro, Alessandra	Probabilistic Types and Function Overloading
F
Facchini, Stefano	Quantum Circuits for the Unitary Permutation Problem
Falkovich, Evgenia	Cellular Automata are Generic
G
Gaboardi, Marco	Differential privacy at work: Verification of approximate probabilistic programs and models for choosing epsilon
H
Hermann Haeusler, Edward	Propositional Logics Complexity and the sub-formula Property
Hsu, Justin	Differential privacy at work: Verification of approximate probabilistic programs and models for choosing epsilon
I
Istrate, Gabriel	Interactive Particle Systems and Random Walks on Hypergraphs
K
Kahl, Wolfram	A Simple Parallel Implementation of Interaction Nets in Haskell
M
Mackie, Ian	Some observations for the parallel implementation of interaction nets
Marin, Mircea	Interactive Particle Systems and Random Walks on Hypergraphs
P
Pagani, Michele	Quantitative semantics for higher-order probabilistic and quantum computation
Perdrix, Simon	Quantum Circuits for the Unitary Permutation Problem
S
Sato, Shinya	Some observations for the parallel implementation of interaction nets
Z
Zorzi, Margherita	Probabilistic Types and Function Overloading

Disclaimer | Powered by EasyChair Smart Program