非標準理論とその応用:時相論理とその応用  [in Japanese] Temporal Logics and Their Applications  [in Japanese]

Access this Article

Search this Article

Author(s)

Journal

  • IPSJ Magazine

    IPSJ Magazine 30(6), p651-657, 1989-06-15

    Information Processing Society of Japan (IPSJ)

Cited by:  1

  • Abstract Interpretations, their Frameworks and Examples  [in Japanese]

    ONO Satoshi , OGAWA Mizuhito , Satoshi Ono , Mizuhito Ogawa , NTTソフトウェア研究所 , NTT基礎研究所 , NTT Software Laboratories. , NTT Basic Research Laboratories.

    コンピュータソフトウェア 00013(00002), 115-130, 1996-03-15

    References (40) Cited by (2)

Codes

  • NII Article ID (NAID)
    110002717104
  • NII NACSIS-CAT ID (NCID)
    AN00116625
  • Text Lang
    JPN
  • Article Type
    Journal Article
  • ISSN
    04478053
  • NDL Article ID
    3227783
  • NDL Source Classification
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL Call No.
    Z14-352
  • Data Source
    CJPref  NDL  NII-ELS  IPSJ 
Page Top