- Tytuł:
- Towards Meta-Reasoning in the Concurrent Logical Framework CLF
- Autorzy:
- Temat:
-
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95 - Źródło:
- Electronic Proceedings in Theoretical Computer Science, Vol 120, Iss Proc. EXPRESS/SOS 2013, Pp 2-16 (2013)
- Opis pliku:
- electronic resource
- Relacje:
- http://arxiv.org/pdf/1307.7440v1; https://doaj.org/toc/2075-2180
- Dostęp URL:
- https://doaj.org/article/f1f53e5770c94c3ba6e26b5522b3d9d6 Link otwiera się w nowym oknie
Czasopismo naukowe