%0 Conference Paper %1 conf/csl/SchubertDB15 %A Schubert, Aleksy %A Dekkers, Wil %A Barendregt, Hendrik Pieter %B CSL %D 2015 %E Kreutzer, Stephan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 128-143 %T Automata Theoretic Account of Proof Search. %U http://dblp.uni-trier.de/db/conf/csl/csl2015.html#SchubertDB15 %V 41 %@ 978-3-939897-90-3

@inproceedings{conf/csl/SchubertDB15, added-at = {2023-03-21T00:00:00.000+0100}, author = {Schubert, Aleksy and Dekkers, Wil and Barendregt, Hendrik Pieter}, biburl = {https://www.bibsonomy.org/bibtex/257cf28b218e6bc0d790e9df22e962deb/dblp}, booktitle = {CSL}, crossref = {conf/csl/2015}, editor = {Kreutzer, Stephan}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2015.128}, interhash = {82dea4b41137b1396d2d106aaad98200}, intrahash = {57cf28b218e6bc0d790e9df22e962deb}, isbn = {978-3-939897-90-3}, keywords = {dblp}, pages = {128-143}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:12.000+0200}, title = {Automata Theoretic Account of Proof Search.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2015.html#SchubertDB15}, volume = 41, year = 2015 }