Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Meyer-Motohama-Bono:SEP-01 (In proceedings)
Author(s) Robert K. Meyer, Y. Motohama and Viviana Bono
Title« Truth translations of basic relevant logics »
InSEP 2001, Montreal, Canada
Year2001
URLhttp://www.di.unito.it/~bono/papers/MeyerMotohamaBono.ps.gz
NoteInformal Proceedings

BibTeX code

@inproceedings{Meyer-Motohama-Bono:SEP-01,
  booktitle = {SEP 2001, Montreal, Canada},
  url = {http://www.di.unito.it/~bono/papers/MeyerMotohamaBono.ps.gz},
  title = {{Truth translations of basic relevant logics}},
  author = {Meyer, Robert K. and Y. Motohama and Viviana Bono},
  note = {Informal Proceedings},
  year = {2001},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!