Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Herbrand’s Theorem as Hig… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Herbrand’s Theorem as Higher Order Recursion

Rapport
Författare Bahareh Afshari
Stefan Hetzl
Graham E. Leigh
Förlag Mathematisches Forschungsinstitut Oberwolfach
Publiceringsår 2018
Publicerad vid Institutionen för data- och informationsteknik (GU)
Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar https://doi.org/10.14760/OWP-2018-0...
Ämneskategorier Teoretisk datalogi, Matematisk logik
Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/publikation/?tipFriend=true&tipUrl=http%3A%2F%2Fwww.gu.se%2Fforskning%2Fpublikation%2F%3Fprint%3Dtrue%26languageId%3D100000%26disableRedirect%3Dtrue%26returnUrl%3Dhttp%253A%252F%252Fwww.gu.se%252Fenglish%252Fresearch%252Fpublication%252F%253FpublicationId%253D264495%26publicationId%3D264495&languageId=100000&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fenglish%2Fresearch%2Fpublication%2F%3FpublicationId%3D264495&publicationId=264495
Utskriftsdatum: 2019-11-12