e CIG: Journal Articles


Journal Articles

Author:Dix, Jürgen and Osorio, Mauricio and Zepeda, Claudia
Title:A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications
Journal:Annals of Pure and Applied Logic
Volume:108
Year:2001
Pages:153-188
Number:1-3
BibTeX-Code:
@article{dixosozep99,
author={Dix, Jürgen and Osorio, Mauricio and Zepeda, Claudia},
title={A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications},
journal={Annals of Pure and Applied Logic},
volume={108},
year={2001},
pages={153-188},
number={1-3},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019