Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers

Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, Springer, 1995.

Conference: csl1995

@proceedings{csl:1994,
  title = {Computer Science Logic, 8th International Workshop, CSL  94, Kazimierz, Poland, September 25-30, 1994, Selected Papers},
  year = {1995},
  tags = {e-science, logic},
  researchr = {https://researchr.org/publication/csl%3A1994},
  cites = {0},
  citedby = {0},
  booktitle = {Computer Science Logic, 8th International Workshop, CSL  94, Kazimierz, Poland, September 25-30, 1994, Selected Papers},
  conference = {csl},
  editor = {Leszek Pacholski and Jerzy Tiuryn},
  volume = {933},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60017-5},
}