%0 Journal Article %1 journals/tplp/DassevilleHJD15 %A Dasseville, Ingmar %A van der Hallen, Matthias %A Janssens, Gerda %A Denecker, Marc %D 2015 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 681-695 %T Semantics of templates in a compositional framework for building logics. %U http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#DassevilleHJD15 %V 15

@article{journals/tplp/DassevilleHJD15, added-at = {2024-02-05T00:00:00.000+0100}, author = {Dasseville, Ingmar and van der Hallen, Matthias and Janssens, Gerda and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2cea576e8a8d188cd0f056e5ab6c64d02/dblp}, ee = {https://doi.org/10.1017/S1471068415000319}, interhash = {132f41c9c610c2abb8633de462400148}, intrahash = {cea576e8a8d188cd0f056e5ab6c64d02}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {681-695}, timestamp = {2024-04-09T05:34:31.000+0200}, title = {Semantics of templates in a compositional framework for building logics.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#DassevilleHJD15}, volume = 15, year = 2015 }