Database Entry Point
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF RG1 Publications, generated: 20:39, 16 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Nikolaj Bjorner and Viorica Sofronie-Stokkermans
    Preface: Special Issue of Selected Extended Papers of CADE-23
    Journal of Automated Reasoning 51 (1): 1-2, 2013