Nondeterminism and Language Design in Deep Inference

From International Center for Computational Logic
Toggle side column

Nondeterminism and Language Design in Deep Inference

Ozan KahramanogullariOzan Kahramanogullari
Nondeterminism and Language Design in Deep Inference


Ozan Kahramanogullari
Nondeterminism and Language Design in Deep Inference
Phd thesis, Technische Universität Dresden, 2006
@phdthesis{K2006,
  author = {Ozan Kahramanogullari},
  title  = {Nondeterminism and Language Design in Deep Inference},
  school = {Technische Universit{\"{a}}t Dresden},
  year   = {2006}
}