@inproceedings{DBLP:conf/mfcs/LinkerPS21,
  author       = {Sven Linker and
                  Fabio Papacchini and
                  Michele Sevegnani},
  editor       = {Filippo Bonchi and
                  Simon J. Puglisi},
  title        = {Finite Models for a Spatial Logic with Discrete and Topological Path
                  Operators},
  booktitle    = {46th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {202},
  pages        = {72:1--72:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2021.72},
  doi          = {10.4230/LIPICS.MFCS.2021.72},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LinkerPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"7ABhDHRHfQQocveSs","bibbaseid":"linker-papacchini-sevegnani-finitemodelsforaspatiallogicwithdiscreteandtopologicalpathoperators-2021","author_short":["Linker, S.","Papacchini, F.","Sevegnani, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Papacchini"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Sevegnani"],"suffixes":[]}],"editor":[{"firstnames":["Filippo"],"propositions":[],"lastnames":["Bonchi"],"suffixes":[]},{"firstnames":["Simon","J."],"propositions":[],"lastnames":["Puglisi"],"suffixes":[]}],"title":"Finite Models for a Spatial Logic with Discrete and Topological Path Operators","booktitle":"46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia","series":"LIPIcs","volume":"202","pages":"72:1–72:16","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2021","url":"https://doi.org/10.4230/LIPIcs.MFCS.2021.72","doi":"10.4230/LIPICS.MFCS.2021.72","timestamp":"Wed, 21 Aug 2024 22:46:00 +0200","biburl":"https://dblp.org/rec/conf/mfcs/LinkerPS21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/mfcs/LinkerPS21,\n author = {Sven Linker and\n Fabio Papacchini and\n Michele Sevegnani},\n editor = {Filippo Bonchi and\n Simon J. Puglisi},\n title = {Finite Models for a Spatial Logic with Discrete and Topological Path\n Operators},\n booktitle = {46th International Symposium on Mathematical Foundations of Computer\n Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},\n series = {LIPIcs},\n volume = {202},\n pages = {72:1--72:16},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2021},\n url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.72},\n doi = {10.4230/LIPICS.MFCS.2021.72},\n timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},\n biburl = {https://dblp.org/rec/conf/mfcs/LinkerPS21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Linker, S.","Papacchini, F.","Sevegnani, M."],"editor_short":["Bonchi, F.","Puglisi, S. J."],"key":"DBLP:conf/mfcs/LinkerPS21","id":"DBLP:conf/mfcs/LinkerPS21","bibbaseid":"linker-papacchini-sevegnani-finitemodelsforaspatiallogicwithdiscreteandtopologicalpathoperators-2021","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.MFCS.2021.72"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["finite","models","spatial","logic","discrete","topological","path","operators","linker","papacchini","sevegnani"],"title":"Finite Models for a Spatial Logic with Discrete and Topological Path Operators","year":2021}