%0 Conference Paper %1 conf/icfca/Albano17 %A Albano, Alexandre %B ICFCA %D 2017 %E Bertet, Karell %E Borchmann, Daniel %E Cellier, Peggy %E Ferré, Sébastien %I Springer %K dblp %P 39-55 %T The Implication Logic of (n, k)-Extremal Lattices. %U http://dblp.uni-trier.de/db/conf/icfca/icfca2017.html#Albano17 %V 10308 %@ 978-3-319-59271-8

@inproceedings{conf/icfca/Albano17, added-at = {2017-07-26T00:00:00.000+0200}, author = {Albano, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2736d89b936578758596fc4856cee99fa/dblp}, booktitle = {ICFCA}, crossref = {conf/icfca/2017}, editor = {Bertet, Karell and Borchmann, Daniel and Cellier, Peggy and Ferré, Sébastien}, ee = {https://doi.org/10.1007/978-3-319-59271-8_3}, interhash = {822fdbaa21d6b83a21e23c42fca6db1f}, intrahash = {736d89b936578758596fc4856cee99fa}, isbn = {978-3-319-59271-8}, keywords = {dblp}, pages = {39-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:36:23.000+0200}, title = {The Implication Logic of (n, k)-Extremal Lattices.}, url = {http://dblp.uni-trier.de/db/conf/icfca/icfca2017.html#Albano17}, volume = 10308, year = 2017 }