%0 Conference Paper %1 conf/tbillc/BalbianiG13 %A Balbiani, Philippe %A Gencer, Çigdem %B TbiLLC %D 2013 %E Aher, Martin %E Hole, Daniel %E Jerábek, Emil %E Kupke, Clemens %I Springer %K dblp %P 44-60 %T Admissibility and Unifiability in Contact Logics. %U http://dblp.uni-trier.de/db/conf/tbillc/tbillc2013.html#BalbianiG13 %V 8984 %@ 978-3-662-46905-7

@inproceedings{conf/tbillc/BalbianiG13, added-at = {2021-09-23T00:00:00.000+0200}, author = {Balbiani, Philippe and Gencer, Çigdem}, biburl = {https://www.bibsonomy.org/bibtex/2be3f99ff6f00a0b249bbe45bad9aca06/dblp}, booktitle = {TbiLLC}, crossref = {conf/tbillc/2013}, editor = {Aher, Martin and Hole, Daniel and Jerábek, Emil and Kupke, Clemens}, ee = {https://doi.org/10.1007/978-3-662-46906-4_4}, interhash = {59d646d02708e4c79c61048dc121c014}, intrahash = {be3f99ff6f00a0b249bbe45bad9aca06}, isbn = {978-3-662-46905-7}, keywords = {dblp}, pages = {44-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:50:54.000+0200}, title = {Admissibility and Unifiability in Contact Logics.}, url = {http://dblp.uni-trier.de/db/conf/tbillc/tbillc2013.html#BalbianiG13}, volume = 8984, year = 2013 }