文献
J-GLOBAL ID:201802262130520383
整理番号:18A0393886
関係代数とRelViewツールによる有限トポロジーに関する計算タスクの解法【Powered by NICT】
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool
著者 (2件):
Berghammer Rudolf
(Institut fuer Informatik, Christian-Albrechts-Universitaet zu Kiel, Olshausenstrasse 40, 24098 Kiel, Germany)
,
Winter Michael
(Department of Computer Science, Brock University, St. Catharines, ON, Canada)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
88
ページ:
1-25
発行年:
2017年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)