Loading...
Loading...

Go to the content (press return)

Generation as deduction on labelled proof nets

Author
Merenciano, J.; Morrill, G.
Type of activity
Journal article
Journal
Lecture notes in computer science
Date of publication
1997-09
Volume
1328
First page
310
Last page
328
Group of research
LARCA - Laboratory of Relational Algorithmics, Complexity and Learnability

Participants