%0 Conference Paper %1 conf/latin/BakelD02 %A van Bakel, Steffen %A Dezani-Ciancaglini, Mariangiola %B LATIN %D 2002 %E Rajsbaum, Sergio %I Springer %K dblp %P 356-370 %T Characterising Strong Normalisation for Explicit Substitutions. %U http://dblp.uni-trier.de/db/conf/latin/latin2002.html#BakelD02 %V 2286 %@ 3-540-43400-3

@inproceedings{conf/latin/BakelD02, added-at = {2021-10-14T00:00:00.000+0200}, author = {van Bakel, Steffen and Dezani-Ciancaglini, Mariangiola}, biburl = {https://www.bibsonomy.org/bibtex/279636f9d4baad91fedd8cac4703c10ef/dblp}, booktitle = {LATIN}, crossref = {conf/latin/2002}, editor = {Rajsbaum, Sergio}, ee = {https://doi.org/10.1007/3-540-45995-2_33}, interhash = {77e454faa5cea4b6244572c44c5c286c}, intrahash = {79636f9d4baad91fedd8cac4703c10ef}, isbn = {3-540-43400-3}, keywords = {dblp}, pages = {356-370}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:59:32.000+0200}, title = {Characterising Strong Normalisation for Explicit Substitutions.}, url = {http://dblp.uni-trier.de/db/conf/latin/latin2002.html#BakelD02}, volume = 2286, year = 2002 }