Variants and satisfiability in the infinitary unification wonderland
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 01, 2023
- Source ID
- 10.1016/j.jlamp.2023.100877
Entities
People
- José Meseguer
Organizations
- United States Naval Research Laboratory