文献
J-GLOBAL ID:201802275123853176
整理番号:18A0393865
配位構造と可逆性における文脈等価性【Powered by NICT】
Contextual equivalences in configuration structures and reversibility
著者 (3件):
Aubert Clement
(INRIA, France)
,
Aubert Clement
(Universite Paris-Est, LACL (EA 4219), UPEC, F-94010 Creteil, France)
,
Cristescu Ioana
(Diderot, Sorbonne Paris Cite, P.P.S., UMR 7126, F-75205 Paris, France)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
86
号:
1
ページ:
77-106
発行年:
2017年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)