TERM REWRITE SYSTEMS FOR LATTICE THEORY

Authors
FREESE R JEZEK J NATION JB
Citation
R. Freese et al., TERM REWRITE SYSTEMS FOR LATTICE THEORY, Journal of symbolic computation, 16(3), 1993, pp. 279-288
Citations number
18
Categorie Soggetti
Mathematics,"Computer Sciences, Special Topics",Mathematics,"Computer Science Theory & Methods
Journal title
Journal of symbolic computation → ACNP
ISSN journal
07477171
Volume
16
Issue
3
Year of publication
1993
Pages
279 - 288
Database
ISI
SICI code
0747-7171(1993)16:3<279:TRSFLT>2.0.ZU;2-1