"Term Equational Systems and Logics: (Extended Abstract)."

Marcelo P. Fiore, Chung-Kil Hur (2008)

Details and statistics

DOI: 10.1016/J.ENTCS.2008.10.011

access: open

type: Conference or Workshop Paper

metadata version: 2021-02-08