Nondeterminism and Language Design in Deep Inference
From International Center for Computational Logic
Nondeterminism and Language Design in Deep Inference
Ozan KahramanogullariOzan Kahramanogullari
![Nondeterminism and Language Design in Deep Inference Nondeterminism and Language Design in Deep Inference](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Ozan Kahramanogullari
Nondeterminism and Language Design in Deep Inference
Phd thesis, Technische Universität Dresden, 2006
Nondeterminism and Language Design in Deep Inference
Phd thesis, Technische Universität Dresden, 2006
- 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}
}