Published in: LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Proceedings{kirchner:LIPIcs.FSCD.2018,
title = {{LIPIcs, Volume 108, FSCD'18, Complete Volume}},
booktitle = {3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-077-4},
ISSN = {1868-8969},
year = {2018},
volume = {108},
editor = {Kirchner, H\'{e}l\`{e}ne},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018},
URN = {urn:nbn:de:0030-drops-92819},
doi = {10.4230/LIPIcs.FSCD.2018},
annote = {Keywords: Theory of computation, Models of computation, Formal languages and automata theory, Logic, Semantics and reasoning, Software and its engineering}
}
Published in: LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 108, pp. 0:i-0:xx, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{kirchner:LIPIcs.FSCD.2018.0,
author = {Kirchner, H\'{e}l\`{e}ne},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)},
pages = {0:i--0:xx},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-077-4},
ISSN = {1868-8969},
year = {2018},
volume = {108},
editor = {Kirchner, H\'{e}l\`{e}ne},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.0},
URN = {urn:nbn:de:0030-drops-91706},
doi = {10.4230/LIPIcs.FSCD.2018.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Published in: LIPIcs, Volume 36, 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
Hélène Kirchner. Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk). In 26th International Conference on Rewriting Techniques and Applications (RTA 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 36, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{kirchner:LIPIcs.RTA.2015.1,
author = {Kirchner, H\'{e}l\`{e}ne},
title = {{Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract}},
booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
pages = {1--4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-85-9},
ISSN = {1868-8969},
year = {2015},
volume = {36},
editor = {Fern\'{a}ndez, Maribel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.1},
URN = {urn:nbn:de:0030-drops-51842},
doi = {10.4230/LIPIcs.RTA.2015.1},
annote = {Keywords: Graphs, Rewrite Rules, Strategic Rewriting}
}
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka. Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143). Dagstuhl Seminar Report 24, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)
@TechReport{comon_et_al:DagSemRep.24,
author = {Comon, Hubert and Ganzinger, Harald and Kirchner, Claude and Kirchner, H\'{e}l\`{e}ne and Lassez, Jean-Louis and Smolka, Gert},
title = {{Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)}},
pages = {1--24},
ISSN = {1619-0203},
year = {1992},
type = {Dagstuhl Seminar Report},
number = {24},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.24},
URN = {urn:nbn:de:0030-drops-149127},
doi = {10.4230/DagSemRep.24},
}
Feedback for Dagstuhl Publishing