LaM

Symposium on Recursive Combinatorics

Search within this conference

Search

1. 1983

   LaM 1983

   • 23-28 May
   • Münster, Germany

   • Logic and Machines: Decision Problems and Complexity

     29 Papers

     1 Volume