Home Advanced Search

Advanced Search - Page 1

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
  • PDF
  • English
  • Year: 2010
  • Author: Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)
Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.)
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.)
Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.)
Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Samson Abramsky (auth.), Ugo Montanari, José D. P. Rolim, Emo Welzl (eds.)
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings
  • DJVU
  • English
  • Year: 1986
  • Author: David Pitt (auth.), David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard (eds.)
Dependence Logic: Theory and Applications
  • PDF
  • English
  • Year: 2016
  • Author: Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer (eds.)
search