Nondeterminism and Language Design in Deep Inference

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Nondeterminism and Language Design in Deep Inference

Ozan KahramanogullariOzan Kahramanogullari

Ozan Kahramanogullari
Nondeterminism and Language Design in Deep Inference
Phd thesis, Technische Universität Dresden, 2006

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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