%0 Conference Paper %1 conf/tapsoft/BernotG93 %A Bernot, Gilles %A Gall, Pascale Le %B TAPSOFT %D 1993 %E Gaudel, Marie-Claude %E Jouannaud, Jean-Pierre %I Springer %K dblp %P 421-436 %T Exception Handling and Term Labelling. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft93.html#BernotG93 %V 668 %@ 3-540-56610-4

@inproceedings{conf/tapsoft/BernotG93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Bernot, Gilles and Gall, Pascale Le}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23672569ce0c70f425f950db9961ab91c/dblp}, booktitle = {TAPSOFT}, crossref = {conf/tapsoft/1993}, editor = {Gaudel, Marie-Claude and Jouannaud, Jean-Pierre}, ee = {https://doi.org/10.1007/3-540-56610-4_80}, interhash = {90423db52b3e8ed5e2f54295216e7ccc}, intrahash = {3672569ce0c70f425f950db9961ab91c}, isbn = {3-540-56610-4}, keywords = {dblp}, pages = {421-436}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:53:25.000+0200}, title = {Exception Handling and Term Labelling.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft93.html#BernotG93}, volume = 668, year = 1993 }