Publications of Shan-Hwei Nienhuys-Cheng
[rss]
1993
[1]
Constructing Refinement Operators by Decomposing Logical Implication
(Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre)
,
In AI*IA (Pietro Torasso, ed.)
,
Springer
, volume 728, 1993.
[bib]
[pdf]
Powered by
bibtexbrowser