Implementing System BV of the Calculus of Structures in Maude

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Implementing System BV of the Calculus of Structures in Maude

Ozan KahramanoğullarıOzan Kahramanoğulları
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
@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}
}