Hidden congruent deduction

Authors
Rosu, G Goguen, J
Citation
G. Rosu et J. Goguen, Hidden congruent deduction, LECT N A I, 1761, 2000, pp. 251-266
Citations number
18
Categorie Soggetti
Current Book Contents
Journal title
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS → ACNP
ISSN journal
03029743
Volume
1761
Year of publication
2000
Pages
251 - 266
Database
ISI
SICI code
0302-9743(2000)1761:<251:HCD>2.0.ZU;2-Z