"On Operational Semantics of Congruence Relation Defined in Algebraic ..."

Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami (1991)

Details and statistics

DOI: 10.1142/9789814360128_0004

access: closed

type: Part in Book or Collection

metadata version: 2020-06-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics