Complexity of Fractran and Productivity

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

Research output: Contribution to Journal › Article › Academic › peer-review

158 Downloads (Pure)

Original language	English
Pages (from-to)	371-387
Journal	Lecture Notes in Computer Science
Volume	5663
DOIs	https://doi.org/10.1007/978-3-642-02959-2_28
Publication status	Published - 2009

Proceedings title: Proc. Conference on Automated Deduction

Access to Document

@article{d583a59b95644183b6fb6ab2a78ee50e,

title = "Complexity of Fractran and Productivity",

author = "J. Endrullis and C.A. Grabmayer and R.D.A. Hendriks",

note = "Proceedings title: Proc. Conference on Automated Deduction",

year = "2009",

doi = "10.1007/978-3-642-02959-2_28",

language = "English",

volume = "5663",

pages = "371--387",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Complexity of Fractran and Productivity

AU - Endrullis, J.

AU - Grabmayer, C.A.

AU - Hendriks, R.D.A.

N1 - Proceedings title: Proc. Conference on Automated Deduction

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-02959-2_28

DO - 10.1007/978-3-642-02959-2_28

M3 - Article

SN - 0302-9743

VL - 5663

SP - 371

EP - 387

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -