Formalization of some central theorems in combinatorics of finite sets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abhishek Kr Singh. Formalization of some central theorems in combinatorics of finite sets. In Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, editors, IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Volume 1 of Kalpa Publications in Computing, pages 43-57, EasyChair, 2017. [doi]

This author has not been identified. Look up 'Abhishek Kr Singh' in Google

runs on WebDSL