Go to the corresponding LIPIcs Volume Portal 
Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E.
pdfformat: 

@InProceedings{afshari_et_al:LIPIcs:2015:5151, author = {Bahareh Afshari and Stefan Hetzl and Graham E. Leigh}, title = {{Herbrand Disjunctions, Cut Elimination and ContextFree Tree Grammars}}, booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)}, pages = {116}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897873}, ISSN = {18688969}, year = {2015}, volume = {38}, editor = {Thorsten Altenkirch}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5151}, URN = {urn:nbn:de:0030drops51516}, doi = {10.4230/LIPIcs.TLCA.2015.1}, annote = {Keywords: Classical logic, Contextfree grammars, Cut elimination, Firstorder logic, Herbrand's theorem, Proof theory} }
Keywords:  Classical logic, Contextfree grammars, Cut elimination, Firstorder logic, Herbrand's theorem, Proof theory  
Collection:  13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)  
Issue Date:  2015  
Date of publication:  15.06.2015 