%0 Conference Paper %1 conf/tableaux/Schmitt17 %A Schmitt, Peter H. %B TABLEAUX %D 2017 %E Schmidt, Renate A. %E Nalon, Cláudia %I Springer %K dblp %P 331-346 %T A Mechanizable First-Order Theory of Ordinals. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2017.html#Schmitt17 %V 10501 %@ 978-3-319-66902-1

@inproceedings{conf/tableaux/Schmitt17, added-at = {2017-09-06T00:00:00.000+0200}, author = {Schmitt, Peter H.}, biburl = {https://www.bibsonomy.org/bibtex/26765bb6dfa7dbe0595c1d88ef5cc6e98/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2017}, editor = {Schmidt, Renate A. and Nalon, Cláudia}, ee = {https://doi.org/10.1007/978-3-319-66902-1_20}, interhash = {f3d6b1750f5beea96e4dee47d954d5ba}, intrahash = {6765bb6dfa7dbe0595c1d88ef5cc6e98}, isbn = {978-3-319-66902-1}, keywords = {dblp}, pages = {331-346}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:50:01.000+0200}, title = {A Mechanizable First-Order Theory of Ordinals.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2017.html#Schmitt17}, volume = 10501, year = 2017 }