16:00～17:00 講演 （*英語で行います） 17:00～17:30 質疑応答 (Abstract) Hilbert’s epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\varepsilon$ [1]. Two ...
ABSTRACT: In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A ...
“The epsilon calculus with equality predicate and Herbrand complexity” (September 10) Hilbert’s epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する