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
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979
  • PDF
  • English-French
  • Year: 1980
  • Author: J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)
search