%0 Conference Paper %1 conf/smt/BonichonDT14 %A Bonichon, Richard %A Déharbe, David %A Tavares, Cláudia %B SMT %D 2014 %E Rümmer, Philipp %E Wintersteiger, Christoph M. %I CEUR-WS.org %K dblp %P 53-62 %T Extending SMT-LIB v2 with λ-Terms and Polymorphism. %U http://dblp.uni-trier.de/db/conf/smt/smt2014.html#BonichonDT14 %V 1163

@inproceedings{conf/smt/BonichonDT14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Bonichon, Richard and Déharbe, David and Tavares, Cláudia}, biburl = {https://www.bibsonomy.org/bibtex/2b8ffbebc380c89e58ca8f6d677942737/dblp}, booktitle = {SMT}, crossref = {conf/smt/2014}, editor = {Rümmer, Philipp and Wintersteiger, Christoph M.}, ee = {https://ceur-ws.org/Vol-1163/paper-08.pdf}, interhash = {7c50b4513fd72d22deb8f65afa5dadd6}, intrahash = {b8ffbebc380c89e58ca8f6d677942737}, keywords = {dblp}, pages = {53-62}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T02:43:17.000+0200}, title = {Extending SMT-LIB v2 with λ-Terms and Polymorphism.}, url = {http://dblp.uni-trier.de/db/conf/smt/smt2014.html#BonichonDT14}, volume = 1163, year = 2014 }