A partial translation from λU to λ2
| Autor: | Toshihiko Uchida |
|---|---|
| Rok vydání: | 2014 |
| Předmět: |
Logic
business.industry 0102 computer and information sciences Translation (geometry) computer.software_genre 01 natural sciences Theoretical Computer Science Arts and Humanities (miscellaneous) 010201 computation theory & mathematics Hardware and Architecture Artificial intelligence business computer Software Natural language processing Mathematics |
| Zdroj: | Journal of Logic and Computation. 26:727-743 |
| ISSN: | 1465-363X 0955-792X |
| DOI: | 10.1093/logcom/exu025 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|