Loading...
Please wait, while we are loading the content...
Similar Documents
Degrees of undecidability in term rewriting (2009)
| Content Provider | CiteSeerX |
|---|---|
| Author | Endrullis, Jörg Geuvers, Herman Zantema, Hans |
| Description | Proceedings of Computer 30 Logic (CSL09), volume 5771 of Lecture Notes in Computer Science |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2009-01-01 |
| Access Restriction | Open |
| Subject Keyword | Dependency Pair Analysis Minor Variant Function Variable Various Property Standard Property Surprising Result Arithmetical Hierarchy Analytic Hierarchy Uniform Halting First Order Arithmetical Formula Dependency Pair Problem Ground Weak Confluence Original Termination Problem Undecidable Property First Order Term Term Rewriting Weak Confluence Distinct Level Minimality Flag |
| Content Type | Text |
| Resource Type | Article |