Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.)
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings
  • DJVU
  • English
  • Year: 1999
  • Author: Christiane Frougny (auth.), Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Christiane Frougny (auth.), Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
Dynamic logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Dynamic Logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Dynamic Logic (Foundations of Computing)
  • PDF
  • English
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Logic Colloquium '77
  • PDF
  • English
  • Year: 1978
  • Author: Angus Macintyre, Leszek Pacholski and Jeff Paris (Eds.)
search