Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Generation as deduction on labelled proof nets

Autor
Merenciano, J.; Morrill, G.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
1997-09
Volum
1328
Pàgina inicial
310
Pàgina final
328
Grup de recerca
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge