Mario Rodriguez-Artalejo -
Mario Rodriguez-Artalejo - Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science, 1683, Band 1683)