%0 Journal Article %1 journals/logcom/Icard11 %A Icard, Thomas %D 2011 %J J. Log. Comput. %K dblp %N 4 %P 683-696 %T A Topological Study of the Closed Fragment of GLP. %U http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#Icard11 %V 21

@article{journals/logcom/Icard11, added-at = {2022-04-12T00:00:00.000+0200}, author = {Icard, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/235a11b1f7c0bab2b100b42ac860685a1/dblp}, ee = {https://doi.org/10.1093/logcom/exp043}, interhash = {867c90bc21da10451a3710294fcca98c}, intrahash = {35a11b1f7c0bab2b100b42ac860685a1}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {683-696}, timestamp = {2024-04-09T05:12:26.000+0200}, title = {A Topological Study of the Closed Fragment of GLP.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#Icard11}, volume = 21, year = 2011 }