Open AccessSOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS
Author(s) -
MARCELA QUISPE CRUZ
Publication year - 2017
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.17771/pucrio.acad.28745
Subject(s) - proof of concept , mathematics , structural proof theory , proof theory , calculus (dental) , computer science , medicine , mathematical proof , orthodontics , geometry , operating system