Amanote Research
Register
Sign In
A Modal Herbrand Theorem
Fundamenta Informaticae
- Netherlands
doi 10.3233/fi-1996-281206
Full Text
Open PDF
Abstract
Available in
full text
Categories
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Date
January 1, 1996
Authors
Melvin Fitting
Publisher
IOS Press