Execution Time | Unknown |
---|---|
Answer | YES(?,O(n^1)) |
Input | Maude 06 MYNAT nosorts-peanoSimple |
Execution Time | Unknown |
---|---|
Answer | YES(?,O(n^1)) |
Input | Maude 06 MYNAT nosorts-peanoSimple |
Execution Time | Unknown |
---|---|
Answer | YES(?,O(n^1)) |
Input | Maude 06 MYNAT nosorts-peanoSimple |
Execution Time | Unknown |
---|---|
Answer | YES(?,O(n^1)) |
Input | Maude 06 MYNAT nosorts-peanoSimple |