%0 Conference Paper %1 conf/mfps/Paine20 %A Paine, Thomas %B MFPS %D 2020 %E Johann, Patricia %I Elsevier %K dblp %P 191-209 %T A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem. %U http://dblp.uni-trier.de/db/conf/mfps/mfps2020.html#Paine20 %V 352

@inproceedings{conf/mfps/Paine20, added-at = {2022-08-16T00:00:00.000+0200}, author = {Paine, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/272ed7d4f8fdb6f47a3a6c6ab9f21a29a/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2020}, editor = {Johann, Patricia}, ee = {https://www.wikidata.org/entity/Q113317297}, interhash = {5fb90c9ce0daa84894fc0c48a88e7a75}, intrahash = {72ed7d4f8fdb6f47a3a6c6ab9f21a29a}, keywords = {dblp}, pages = {191-209}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T17:11:28.000+0200}, title = {A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem.}, url = {http://dblp.uni-trier.de/db/conf/mfps/mfps2020.html#Paine20}, volume = 352, year = 2020 }