%0 Conference Paper %1 conf/amast/PaivaS98 %A de Paiva, Valeria %A Schalk, Andrea %B AMAST %D 1998 %E Haeberer, Armando Martin %I Springer %K dblp %P 164-177 %T Building Models of Linear Logic. %U http://dblp.uni-trier.de/db/conf/amast/amast98.html#PaivaS98 %V 1548 %@ 3-540-65462-3

@inproceedings{conf/amast/PaivaS98, added-at = {2018-11-14T00:00:00.000+0100}, author = {de Paiva, Valeria and Schalk, Andrea}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e1544c658f8c36fa1b41615601b272d2/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1998}, editor = {Haeberer, Armando Martin}, ee = {https://www.wikidata.org/entity/Q56994583}, interhash = {94d9cffb241f88349c121ea5aaf384e7}, intrahash = {e1544c658f8c36fa1b41615601b272d2}, isbn = {3-540-65462-3}, keywords = {dblp}, pages = {164-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:42:27.000+0200}, title = {Building Models of Linear Logic.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast98.html#PaivaS98}, volume = 1548, year = 1998 }