Complexity of Fractran and Productivity

J. Endrullis, C.A. Grabmayer, R.D.A. Hendriks

Research output: Contribution to JournalArticleAcademicpeer-review

144 Downloads (Pure)
Original languageEnglish
Pages (from-to)371-387
JournalLecture Notes in Computer Science
Volume5663
DOIs
Publication statusPublished - 2009

Bibliographical note

Proceedings title: Proc. Conference on Automated Deduction

Cite this