Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
Information Processing Letters 0020-0190 | 1998 | Waldmann, Uwe | Extending reduction orderings to ACU-compatible reduction orderings In: Information Processing Letters [67], 43-49 | |||||
Information Processing Letters 0020-0190 | 1994 | Basin, David A. | A Term Equality Problem Equivalent to Graph Isomorphism In: Information Processing Letters [51], 61-66 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|