From the Calculus of Structures to Term Rewriting Systems

From International Center for Computational Logic
Toggle side column

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
@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}
}