Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings.
DOI10.1007/11538363zbMATH Open1084.68007OpenAlexW2479351976MaRDI QIDQ819984FDOQ819984
Author name not available (Why is that?)
Publication date: 5 April 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11538363
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70)
Cited In (8)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25--29, 2006. Proceedings.
- Field-programmable logic and applications. 5th International Workshop, FPL'95, Oxford, United Kingdom, August 29-September 1, 1995. Proceedings
- 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings
- Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings
- Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers
- Title not available (Why is that?)
This page was built for publication: Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q819984)
