論文

査読有り
2010年12月18日

A Logical Foundation for Environment Classifiers

Logical Methods in Computer Science
  • Takeshi Tsukada
    • ,
  • Atsushi Igarashi
巻
6
号
4
記述言語
英語
掲載種別
研究論文（学術雑誌）
DOI
10.2168/lmcs-6(4:8)2010
出版者・発行元
Logical Methods in Computer Science e.V.
リンク情報
DOI
https://doi.org/10.2168/lmcs-6(4:8)2010
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000287816900008&DestApp=WOS_CPL
ID情報
  • DOI : 10.2168/lmcs-6(4:8)2010
  • ISSN : 1860-5974
  • eISSN : 1860-5974
  • Web of Science ID : WOS:000287816900008
エクスポート
BibTeX RIS
論文リストへ