Name Binding is Easy with Hypergraphs
| Autor: | Kazunori Ueda, Alimujiang Yasen |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Computer science
Name binding Substitution (logic) 0102 computer and information sciences 02 engineering and technology 01 natural sciences Formal system Combinatorics 010201 computation theory & mathematics Artificial Intelligence Hardware and Architecture 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Computer Vision and Pattern Recognition Electrical and Electronic Engineering Software |
| Zdroj: | IEICE Transactions on Information and Systems. :1126-1140 |
| ISSN: | 1745-1361 0916-8532 |
| DOI: | 10.1587/transinf.2017edp7257 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|