Nicolas Guenot: Nested proof search as reduction in the Lambda-calculus. (2011)
conf/ppdp/Guenot11
10.1145/2003476.2003501
Nested proof search as reduction in the Lambda-calculus.
1
183-194
PPDP
PPDP
2011
2011
provenance information for RDF data of dblp record 'conf/ppdp/Guenot11'
2018-11-06T16:57:24+0100