Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Proof Nets for Basic Discontinuous Lambek Calculus

Autor
Morrill, G.; Fadda, M.
Tipus d'activitat
Article en revista
Revista
Journal of logic and computation
Data de publicació
2008-02
Volum
18
Número
2
Pàgina inicial
239
Pàgina final
256
DOI
https://doi.org/10.1093/logcom/exm089 Obrir en finestra nova
Grup de recerca
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

Participants