Implementing System BV of the Calculus of Structures in Maude

Ozan KahramanoğullarıOzan Kahramanoğulları

Download

Ozan Kahramanoğulları
Implementing System BV of the Calculus of Structures in Maude
Proceedings of the ESSLLI-2004 Student Session, Universit Henri Poincare, Nancy, France, 2004

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{K2004,
  author    = {Ozan Kahramano{\u{g}}ullar{\i}},
  title     = {Implementing System {BV} of the Calculus of Structures in Maude},
  booktitle = {Proceedings of the {ESSLLI-2004} Student Session, Universit Henri
               Poincare, Nancy, France},
  year      = {2004}
}