Decidability results in non-classical logic. III
Work
Year: 1971
Type: article
Source: Israel Journal of Mathematics
Author Dov M. Gabbay
Institution Hebrew University of Jerusalem
Cites: 3
Cited by: 5
Related to: 10
FWCI: 0.52
Citation percentile (by year/subfield): 61.82
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed