|
|||||
|
|
On the time and tape complexity of weak unification |
|
| Authors: | W. Erni R. Lapsien |
| Affiliation: | Institüt für Angewandte Mathematik, Universität Heidelberg, D-6900 Heidelberg, Fed. Rep. Germany |
| Abstract: | |
| Keywords: | Analysis of algorithms automata theory computational complexity formal languages theorem proving theory of computation |
| 本文献已被 ScienceDirect 等数据库收录！ | |