Fribourg, Laurent. Ed.
Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001 - Berlin Springer 2001 - 614 - Lecture notes in computer science ; 02142 .
3540425543
Computer Science Logic
681 LNCS
Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001 - Berlin Springer 2001 - 614 - Lecture notes in computer science ; 02142 .
3540425543
Computer Science Logic
681 LNCS