Hard combinators
From MaRDI portal
Publication:2870311
DOI10.1016/j.entcs.2008.03.032zbMath1279.68020MaRDI QIDQ2870311
Publication date: 17 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.032
68R10: Graph theory (including graph drawing) in computer science
68M07: Mathematical problems of computer architecture
68Q42: Grammars and rewriting systems
Related Items
Cites Work