Generalized rewrite theories, coherence completion, and symbolic methods
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 01, 2020
- Source ID
- 10.1016/j.jlamp.2019.100483
Entities
People
- José Meseguer
Organizations
- United States Naval Research Laboratory