VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
abstract state machine	Cellular Automata are Generic
approximate program equivalence	Differential privacy at work: Verification of approximate probabilistic programs and models for choosing epsilon
C
cellular automaton	Cellular Automata are Generic
Concurrent functional programming	A Simple Parallel Implementation of Interaction Nets in Haskell
Concurrent interaction net reduction	A Simple Parallel Implementation of Interaction Nets in Haskell
D
Differential Privacy	Differential privacy at work: Verification of approximate probabilistic programs and models for choosing epsilon
E
effective computation	Cellular Automata are Generic
H
Hypergraphs	Interactive Particle Systems and Random Walks on Hypergraphs
I
interacting particle systems	Interactive Particle Systems and Random Walks on Hypergraphs
Interaction nets	A Simple Parallel Implementation of Interaction Nets in Haskell Some observations for the parallel implementation of interaction nets
L
lambda-calculus	Probabilistic Types and Function Overloading
linear spaces	Probabilistic Types and Function Overloading
N
natural deduction	Propositional Logics Complexity and the sub-formula Property
P
parallel evaluation	Some observations for the parallel implementation of interaction nets
probabilistic programming	Differential privacy at work: Verification of approximate probabilistic programs and models for choosing epsilon
probability	Probabilistic Types and Function Overloading
programmable gates	Quantum Circuits for the Unitary Permutation Problem
propositional logics	Propositional Logics Complexity and the sub-formula Property
PSPACE-complete	Propositional Logics Complexity and the sub-formula Property
Q
quantum circuits	Quantum Circuits for the Unitary Permutation Problem
Quantum Computing	Quantum Circuits for the Unitary Permutation Problem
R
random walks	Interactive Particle Systems and Random Walks on Hypergraphs
Rewriting	Some observations for the parallel implementation of interaction nets
S
Sub-formula Property	Propositional Logics Complexity and the sub-formula Property
X
XOR-SAT	Interactive Particle Systems and Random Walks on Hypergraphs

Disclaimer | Powered by EasyChair Smart Program