Search results for "Labelled sequent calculus" | NDL Search

Search results 4

Group by title

Digital博士論文障害者向け資料あり

秦野, 亮2017-03

National Diet Library

Subject Heading...ipke semantics Labelled sequent calculus Channel based agent communica...

Digital博士論文障害者向け資料あり

野村, 尚新2016-03

National Diet Library

Subject Heading... and Knowledge Labelled Sequent Calculus Admissibility of Cut Validity...

Digital博士論文

秦野, 亮2017-03

Available onlineOther Libraries in Japan

Subject Heading...ipke semantics Labelled sequent calculus Channel based agent communica...

Digital博士論文

野村, 尚新2016-03

Available onlineOther Libraries in Japan

Subject Heading... and Knowledge Labelled Sequent Calculus Admissibility of Cut Validity...

Reached to the end of result.

RSS