Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20--24, 2004. Proceedings.
From MaRDI portal
Publication:1774488
DOI10.1007/b100120zbMath1060.68004OpenAlexW2481899496MaRDI QIDQ1774488
No author found.
Publication date: 9 May 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100120
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (1)
This page was built for publication: Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20--24, 2004. Proceedings.
