Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings.

DOI10.1007/11538363MaRDI QIDQ819984zbMATH OpenOpenAlexFDO

Authors

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

Mathematics Subject Classification ID

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)

• scientific article; zbMATH DE number 6988090 (Why is no real title available?)
• scientific article; zbMATH DE number 6513118 (Why is no real title available?)
• scientific article; zbMATH DE number 5075930 (Why is no real title available?)
• 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

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)