First Page | Meta Content | |
---|---|---|
Document Date: 2006-08-24 20:08:31Open Document File Size: 390,02 KBShare Result on FacebookCityParis / /CompanyCombinatorial / System C0 (Combinatorial Proofs) We / /EventReorganization / /FacilityDominic J. D. Hughes Stanford University / /IndustryTermproof systems / deep inference systems / rubber-sheet / homotopy / fundamental / stronger proof systems / /OperatingSystemSequent / /OrganizationStanford University / /PersonDominic J. D. Hughes / Hilbert / /ProgrammingLanguageC / /PublishedMediumAnnals of Mathematics / /URLwww.elsevier.nl/locate/entcs / /SocialTag |