Tabular Logics with no Finite Bases for Inference Rules
Work
Year: 2004
Type: article
Source: Logic Journal of IGPL
Author Vladimir V. Rybakov
Institution Manchester Metropolitan University
Cites:
Cited by: 1
Related to: 10
FWCI:
Citation percentile (by year/subfield): 55.12
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed