Towards semantics of guarded induction

書誌詳細
第一著者: ́Pavlovic, D
フォーマット: Report
出版事項: Kestrel Institute 1998