- Tytuł:
- Making first order linear logic a generating grammar
- Autorzy:
- Temat:
-
computer science -computation andlanguage computer science - logic incomputer science
mathematics - logic
Logic
BC1-199
Electronic computers.Computer science
QA75.5-76.95 - Źródło:
-
Logical Methods in
Computer Science , Vol Volume 19, Issue 4 (2023) - Opis pliku:
- electronic resource
- Relacje:
- https://lmcs.episciences.org/9727/pdf; https://doaj.org/toc/1860-5974
- Dostęp URL:
- https://doaj.org/article/0c973fffc4be4682bb8f29a86bf04f33  Link otwiera się w nowym oknie
Czasopismo naukowe