Home Advanced Search

Advanced Search - Page 1

Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Samson Abramsky (auth.), Albert R. Meyer, Michael A. Taitslin (eds.)
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
  • DJVU
  • English-French
  • Year: 1983
  • Author: Samson Abramsky (auth.), Josep Diaz (eds.)
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
  • PDF
  • English-French
  • Year: 1983
  • Author: Samson Abramsky (auth.), Josep Diaz (eds.)
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)
CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Ugo Montanari, Vladimiro Sassone (eds.)