| Document Date: 2015-07-12 06:09:30
Open Document File Size: 309,81 KBShare Result on Facebook
Company Simmons / / Country France / Brazil / / Facility Federal University of Para´ıba / / IndustryTerm deductive systems / proof systems / proof search non-determinism / search space / proof search / permutation checking algorithm / proof search space / / Organization Federal University of Para´ıba / / Person Ai / / Product C3r / / Technology permutation checking algorithm / /
SocialTag |
Automated Generation of Focused Proof Systems Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 Federal University of Para´ıba, Brazil