Computer science logic. 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24--28, 1998. Proceedings
DOI10.1007/10703163zbMATH Open0913.00028OpenAlexW2491957785MaRDI QIDQ1287618FDOQ1287618
Authors:
Publication date: 25 May 1999
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/10703163
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)
Cited In (2)
- Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference.
- 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. 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24--28, 1998. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1287618)
