BibTeX record conf/RelMiCS/FormisanoOO06

• > Home > conf/RelMiCS/FormisanoOO06

@incollection{DBLP:conf/RelMiCS/FormisanoOO06,
  author       = {Andrea Formisano and
                  Eugenio G. Omodeo and
                  Ewa Orlowska},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {An Environment for Specifying Properties of Dyadic Relations and Reasoning
                  About Them {II:} Relational Presentation of Non-classical Logics},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments
                  II, International Workshops of {COST} Action 274, TARSKI, 2002-2005,
                  Selected Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4342},
  pages        = {89--104},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11964810\_5},
  doi          = {10.1007/11964810\_5},
  timestamp    = {Sun, 02 Oct 2022 15:53:27 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/FormisanoOO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}