Nondeterminism and Language Design in Deep Inference

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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}
}