System BV without the Equalities for Unit

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

Toggle side column

System BV without the Equalities for Unit

Ozan KahramanoğullarıOzan Kahramanoğulları
Ozan Kahramanoğulları
System BV without the Equalities for Unit
In C. Aykanat and T. Dayar and I. Korpeoglu, eds., Proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS'04, Lecture Notes in Computer Science, 2004. Springer
The final publication is available at Springer.
@inproceedings{K2004,
  author    = {Ozan Kahramano{\u{g}}ullar{\i}},
  title     = {System {BV} without the Equalities for Unit},
  editor    = {C. Aykanat and T. Dayar and I. Korpeoglu},
  booktitle = {Proceedings of the 19th International Symposium on Computer and
               Information Sciences, {ISCIS'04}},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2004}
}