Till sidans topp

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

Tipsa en vän
Utskriftsversion

Herbrand confluence for f… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Herbrand confluence for first-order proofs with Π2-cuts

Kapitel i bok
Författare Bahareh Afshari
Stefan Hetzl
Graham E. Leigh
Publicerad i Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.)
Sidor 5-40
ISBN 978-1-5015-0262-0
Förlag De Gruyter
Förlagsort Boston
Publiceringsår 2016
Publicerad vid
Sidor 5-40
Språk en
Ämnesord Mathematical Logic, Formal Language Theory, First-order Logic, Cut-elimination
Ämneskategorier 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/?publicationId=241472
Utskriftsdatum: 2019-08-19