Adding metatheoretic facilities to first-order theories
Work
Year: 1996
Type: article
Abstract: Journal Article Adding Metatheoretic Facilities to First-order Theories Get access DAVID BASIN, DAVID BASIN Max-Planck-Institut für InformatikIm Stadtwald, D-66123 Saarbrücken, Germany. E-mail: basins... more
Source: Journal of Logic and Computation
Author David Basin
Institutions Max Planck Society, Max Planck Institute for Informatics
Cites: 10
Cited by: 3
Related to: 10
FWCI:
Citation percentile (by year/subfield): 47.7
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze