Stål Aanderaa, Herman Ruge Jervell. Recursive Inseparability in Linear Logic. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 5-13, Springer, 1992.
@inproceedings{AanderaaJ92,
title = {Recursive Inseparability in Linear Logic},
author = {Stål Aanderaa and Herman Ruge Jervell},
year = {1992},
tags = {logic},
researchr = {https://researchr.org/publication/AanderaaJ92},
cites = {0},
citedby = {0},
pages = {5-13},
booktitle = {Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers},
editor = {Egon Börger and Gerhard Jäger and Hans Kleine Büning and Simone Martini and Michael M. Richter},
volume = {702},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56992-8},
}