A complete inference system for a class of regular behaviours

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Received 16 June 1982, Revised 26 November 1982, Available online 2 December 2003.

论文官网地址:https://doi.org/10.1016/0022-0000(84)90023-0