Home Advanced Search

Advanced Search - Page 1

Dependence Logic: Theory and Applications
  • PDF
  • English
  • Year: 2016
  • Author: Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer (eds.)
Logic Colloquium 90. ASL Summer Meeting in Helsinki
  • PDF
  • English
  • Year: 1994
  • Author: Juha M.R. Oikkonen, Jouko Väänänen
Logic colloquium '90: Proc. Helsinki 1990
  • DJVU
  • English
  • Year: 1994
  • Author: Juha M.R. Oikkonen, Jouko Väänänen
Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures
  • PDF
  • English
  • Year: 1999
  • Author: Jouko Väänänen (auth.), Jouko Väänänen (eds.)
Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures
  • PDF
  • English
  • Year: 1999
  • Author: Jouko Väänänen (auth.), Jouko Väänänen (eds.)
Models and Games
  • PDF
  • English
  • Year: 2011
  • Author: Jouko Väänänen
Models and Games
  • PDF
  • English
  • Year: 2011
  • Author: Jouko Väänänen
Logic colloquium '03: lecture notes in logic 24
  • DJVU
  • English
  • Year: 2006
  • Author: Stoltenberg-Hansen, Viggo.; Väänänen, Jouko (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.)
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983
  • DJVU
  • English
  • Year: 1983
  • Author: Samson Abramsky (auth.), Marek Karpinski (eds.)
search