%0 Conference Paper %1 conf/tphol/NoginH02 %A Nogin, Aleksey %A Hickey, Jason %B TPHOLs %D 2002 %E Carreño, Victor %E Muñoz, César A. %E Tahar, Sofiène %I Springer %K dblp %P 281-297 %T Sequent Schema for Derived Rules. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2002.html#NoginH02 %V 2410 %@ 3-540-44039-9

@inproceedings{conf/tphol/NoginH02, added-at = {2021-10-14T00:00:00.000+0200}, author = {Nogin, Aleksey and Hickey, Jason}, biburl = {https://www.bibsonomy.org/bibtex/2a6028ad1a1f84794e256e1f24cd0ee41/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2002}, editor = {Carreño, Victor and Muñoz, César A. and Tahar, Sofiène}, ee = {https://doi.org/10.1007/3-540-45685-6_19}, interhash = {e63bf26a26f19b23d0c5dd564f4fd619}, intrahash = {a6028ad1a1f84794e256e1f24cd0ee41}, isbn = {3-540-44039-9}, keywords = {dblp}, pages = {281-297}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:08:57.000+0200}, title = {Sequent Schema for Derived Rules.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2002.html#NoginH02}, volume = 2410, year = 2002 }