CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings

zbMath0925.00072MaRDI QIDQ1188842

Could not fetch data.

Publication date: 17 September 1992

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings