On The Proof Theory of ALC

Downloads:

  • No text available
  • No slides available

BibTeX:

  {%raw%}@article{publication-33,
  author = {Rademaker, Alexandre and Haeusler, Edward Hermann and Pereira, Luiz Carlos},
  title = {On The Proof Theory of ALC},
  journal = {CLE e-Prints (Impresso)},
  year = {2008},
  volume = {8},
  pages = {Article 14},
  issn = {15199614}
}
{%endraw%}