Academic Journal
Structural recursion for querying ordered graphs
| Τίτλος: | Structural recursion for querying ordered graphs |
|---|---|
| Συγγραφείς: | Hidaka, Soichiro, Asada, Kazuyuki, Hu, Zhenjiang, Kato, Hiroyuki, Nakano, Keisuke |
| Πηγή: | ACM SIGPLAN Notices - ICFP '13. 48(9):305-318 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/2544174.2500608 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| ISSN: | 03621340 15581160 |
|---|---|
| DOI: | 10.1145/2544174.2500608 |