Two-Restricted One Context Unification is in Polynomial Time
Work
Year: 2015
Type: article
Source: Computer Science Logic
Cites:
Cited by: 2
Related to: 20
FWCI:
Citation percentile (by year/subfield): 41.31
Topic: DNA and Biological Computing
Subfield: Molecular Biology
Domain: Life Sciences
Open Access status: closed