从matching-logic.org链接出的网站列表
| No. | 链出域名 | 关键词 |
|---|---|---|
| 1. | uiuc.edu | matching logic |
| 2. | google.com | here |
| 3. | illinois.edu | BIB |
| 4. | doi.org | DOI |
| 5. | vsl2014.at | RTA'14 |
| 6. | rwth-aachen.de | LICS'13 |
| 7. | acm.org | DOI |
| 8. | splashcon.org | OOPSLA'12 |
| 9. | cnam.fr | FM'12 |
| 10. | handle.net | DOI |
| 11. | k-framework.org | K framework |
| 12. | mit.edu | |
| 13. | microsoft.com | LOLA'13 |
| 14. | warwick.ac.uk | ICALP'12 |
| 15. | icse-conferences.org | ICSE'11 |
| 16. | sri.com | UV'10 |
| 17. | springerlink.com | LNCS |
| 18. | ulaval.ca | AMAST'10 |