Decidability problem for finite Heyting algebras
Work
Year: 1988
Type: article
Source: Journal of Symbolic Logic
Authors Katarzyna Idziak, Paweł M. Idziak
Institution Jagiellonian University
Cites: 18
Cited by: 18
Related to: 10
FWCI: 1.5
Citation percentile (by year/subfield): 79.39
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed