Preface: Theory and Applications of Abstraction, Substitution and Naming
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-011-9217-2
Full Text
Open PDFAbstract
Available in full text
Date
March 2, 2011
Authors
Publisher
Springer Science and Business Media LLC