From the Calculus of Structures to Term Rewriting Systems
Aus International Center for Computational Logic
From the Calculus of Structures to Term Rewriting Systems
Steffen HölldoblerSteffen Hölldobler, Ozan KahramanogullariOzan Kahramanogullari
Steffen Hölldobler, Ozan Kahramanogullari
From the Calculus of Structures to Term Rewriting Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--03, 2004
From the Calculus of Structures to Term Rewriting Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--03, 2004
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{HK2004,
author = {Steffen H{\"{o}}lldobler and Ozan Kahramanogullari},
title = {From the Calculus of Structures to Term Rewriting Systems},
institution = {Knowledge Representation and Reasoning Group, Institute for
Artificial Intelligence, Department of Computer Science,
Dresden University of Technology, Dresden, Germany},
year = {2004}
}
