%0 Conference Paper %1 conf/hoa/Schobbens93 %A Schobbens, Pierre-Yves %B HOA %D 1993 %E Heering, Jan %E Meinke, Karl %E Möller, Bernhard %E Nipkow, Tobias %I Springer %K dblp %P 326-344 %T Extensions of Initial Models and their Second-Order Proof Systems. %U http://dblp.uni-trier.de/db/conf/hoa/hoa93.html#Schobbens93 %V 816 %@ 3-540-58233-9

@inproceedings{conf/hoa/Schobbens93, added-at = {2017-06-15T00:00:00.000+0200}, author = {Schobbens, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/2f4d30c18a1ef153353f38ee2d6d2c205/dblp}, booktitle = {HOA}, crossref = {conf/hoa/1993}, editor = {Heering, Jan and Meinke, Karl and Möller, Bernhard and Nipkow, Tobias}, ee = {https://doi.org/10.1007/3-540-58233-9_15}, interhash = {3243cef59c952ce700f9ee10b975559e}, intrahash = {f4d30c18a1ef153353f38ee2d6d2c205}, isbn = {3-540-58233-9}, keywords = {dblp}, pages = {326-344}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:47:31.000+0200}, title = {Extensions of Initial Models and their Second-Order Proof Systems.}, url = {http://dblp.uni-trier.de/db/conf/hoa/hoa93.html#Schobbens93}, volume = 816, year = 1993 }