%0 Conference Paper %1 conf/unif/BalbianiGRT20 %A Balbiani, Philippe %A Gencer, Çigdem %A Rostamigiv, Maryam %A Tinchev, Tinko %B UNIF %D 2020 %E Kutsia, Temur %E Marshall, Andrew M. %K dblp %P 4:1-4:6 %T About the unification type of K+☐☐⊥. %U http://dblp.uni-trier.de/db/conf/unif/unif2020.html#BalbianiGRT20

@inproceedings{conf/unif/BalbianiGRT20, added-at = {2023-09-21T00:00:00.000+0200}, author = {Balbiani, Philippe and Gencer, Çigdem and Rostamigiv, Maryam and Tinchev, Tinko}, biburl = {https://www.bibsonomy.org/bibtex/275483b9717c2436f4c6348ad2ccabaab/dblp}, booktitle = {UNIF}, crossref = {conf/unif/2020}, editor = {Kutsia, Temur and Marshall, Andrew M.}, ee = {http://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=21}, interhash = {2fcbe4efc27f42dfd928c1e8a9b0c873}, intrahash = {75483b9717c2436f4c6348ad2ccabaab}, keywords = {dblp}, pages = {4:1-4:6}, timestamp = {2024-04-09T13:16:48.000+0200}, title = {About the unification type of K+☐☐⊥.}, url = {http://dblp.uni-trier.de/db/conf/unif/unif2020.html#BalbianiGRT20}, year = 2020 }