Nominal Logic with Equations Only
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31