Published in: LIPIcs, Volume 155, 23rd International Conference on Database Theory (ICDT 2020)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, and Jan Van den Bussche. Executable First-Order Queries in the Logic of Information Flows. In 23rd International Conference on Database Theory (ICDT 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 155, pp. 4:1-4:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{aamer_et_al:LIPIcs.ICDT.2020.4, author = {Aamer, Heba and Bogaerts, Bart and Surinx, Dimitri and Ternovska, Eugenia and Van den Bussche, Jan}, title = {{Executable First-Order Queries in the Logic of Information Flows}}, booktitle = {23rd International Conference on Database Theory (ICDT 2020)}, pages = {4:1--4:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-139-9}, ISSN = {1868-8969}, year = {2020}, volume = {155}, editor = {Lutz, Carsten and Jung, Jean Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2020.4}, URN = {urn:nbn:de:0030-drops-119284}, doi = {10.4230/LIPIcs.ICDT.2020.4}, annote = {Keywords: Logic of Information Flows, Limited access pattern, Executable first-order logic} }
Published in: Dagstuhl Seminar Proceedings, Volume 8261, Structure-Based Compression of Complex Massive Data (2008)
William S. Evans, Christoph W. Fraser, and Fei Ma. Clone Detection via Structural Abstraction. In Structure-Based Compression of Complex Massive Data. Dagstuhl Seminar Proceedings, Volume 8261, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{evans_et_al:DagSemProc.08261.7, author = {Evans, William S. and Fraser, Christoph W. and Ma, Fei}, title = {{Clone Detection via Structural Abstraction}}, booktitle = {Structure-Based Compression of Complex Massive Data}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8261}, editor = {Stefan B\"{o}ttcher and Markus Lohrey and Sebastian Maneth and Wojcieh Rytter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08261.7}, URN = {urn:nbn:de:0030-drops-16784}, doi = {10.4230/DagSemProc.08261.7}, annote = {Keywords: Clone Detection} }
Feedback for Dagstuhl Publishing