Original language | English |
---|---|
Journal | Lecture Notes in Computer Science |
Volume | 8001 |
DOIs | |
State | Published - 2014 |
Language, Culture, Computation: Computing - Theory and Technology
Nachum Dershowitz*, Ephraim Nissan
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review