Search Results1-7 of  7

  • 海野 広志 ID: 9000017506600

    Articles in CiNii:1

    • Resource Usage Verification for a Programming Language with Pointers (2010)
  • 海野 広志 ID: 9000305624634

    Articles in CiNii:4

    • 代数的データ構造を扱う関数型プログラムの検証法 (2014)
    • Automating Well-Founded Induction for Horn Clause Solving (2015)
    • Functional Program Synthesis from Relational Specifications (2017)
  • 海野 広志 ID: 9000402219563

    Articles in CiNii:1

    • 関西印刷部会活動報告 印刷工場の主要資材の現状 (2019)
  • 海野 広志 ID: 9000403915449

    Articles in CiNii:1

    • Automating relatively complete verification of higher-order functional programs (2013)
  • 海野 広志 ID: 9000406397432

    Articles in CiNii:1

    • PPL2019 : Failure of Cut-Elimination in Cyclic Proofs of Separation Logic (2020)
  • UMINO Hiroshi ID: 9000002264891

    Articles in CiNii:1

    • <PAPER>Spectroscopic Characteristics of DC Corona Discharge (1993)
  • UNNO Hiroshi ID: 9000283468494

    University of Tsukuba (2015 from CiNii)

    Articles in CiNii:1

    • Counterexample Finding and Abstraction Refinment for Automated Verification of Higher-Order Tree Transducers (2015)
Page Top