@article{CTT100432279,
  author = {吉浦紀晃 and 米崎直樹},
  title = {適切さの論理RとERの証明力の比較},
  journal = {人工知能学会誌},
  year = 1999,
}

@article{CTT100432280,
  author = {吉浦紀晃 and 米崎直樹},
  title = {適切さの論理ERの決定可能性},
  journal = {人工知能学会誌},
  year = 1999,
}

@article{CTT100426886,
  author = {吉浦紀晃},
  title = {適切さの論理ERの決定可能性},
  journal = {人工知能学会誌},
  year = 1999,
}

@article{CTT100426887,
  author = {吉浦紀晃},
  title = {適切さの論理ERとRの証明力の比較},
  journal = {人工知能学会誌},
  year = 1999,
}

@article{CTT100426885,
  author = {吉浦紀晃},
  title = {証明力を拡張した適切さの論理ER},
  journal = {人工知能学会誌},
  year = 1998,
}

@inproceedings{CTT100459953,
  author = {Noriaki Yoshiura and Naoki Yonezaki},
  title = {Provability of relevant logic ER},
  booktitle = {Proceedings of The 11th European-Japanese conference on   Information Modelling and Knowledge Basis},
  year = 2001,
}

@inproceedings{CTT100479166,
  author = {吉浦紀晃 and 米崎直樹},
  title = {リアクティブシステムの段階的充足可能性とSafety Propertyの関係},
  booktitle = {信学技報 SS2000-43},
  year = 2001,
}

@inproceedings{CTT100432285,
  author = {吉浦紀晃 and 米崎直樹},
  title = {証明力を拡張した適切さの論理 ER},
  booktitle = {数理解析研究所講究録},
  year = 1999,
}

@inproceedings{CTT100633876,
  author = {Yoshiura Noriaki and NAOKI YONEZAKI},
  title = {More expressive Temporal Logic for Specification},
  booktitle = {},
  year = 1993,
}

@misc{CTT100596104,
  author = {Yoshiura Noriaki},
  title = {知識推論への適用を目的とした適切さの論理の拡張に関する研究},
  year = 1998,
}



@mastersthesis{CTT100596104,
  author = {Yoshiura Noriaki},
  title = {知識推論への適用を目的とした適切さの論理の拡張に関する研究},
  school = {東京工業大学},
  year = 1998,
}