Definitional Reflection and the Completion
Lecture Notes in Computer Science- Germany
doi 10.1007/3-540-58025-5_65
Full Text
Abstract
Available in
Date
January 1, 1994
Authors
Publisher
Springer Berlin Heidelberg
doi 10.1007/3-540-58025-5_65
Available in
January 1, 1994
Springer Berlin Heidelberg