On The Proof Theory of ALC

Downloads:

  • No text available
  • No slides available

BibTeX:

@inproceedings{publication-63,
  author = {Rademaker, Alexandre and Haeusler, Edward Hermann and Pereira, Luiz Carlos},
  title = {On The Proof Theory of ALC},
  booktitle = {Proceedings of XV Brazilian Logic Conference},
  year = {2008},
  publisher = {Unicamp},
  address = {Campinas}
}