pdf-format: |
|
@InProceedings{pratthartmann_et_al:LIPIcs:2019:10962, author = {Ian Pratt-Hartmann and Lidia Tendera}, title = {{The Fluted Fragment with Transitivity}}, booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)}, pages = {18:1--18:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-117-7}, ISSN = {1868-8969}, year = {2019}, volume = {138}, editor = {Peter Rossmanith and Pinar Heggernes and Joost-Pieter Katoen}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10962}, URN = {urn:nbn:de:0030-drops-109626}, doi = {10.4230/LIPIcs.MFCS.2019.18}, annote = {Keywords: First-Order logic, Decidability, Satisfiability, Transitivity, Complexity} }
Keywords: | First-Order logic, Decidability, Satisfiability, Transitivity, Complexity | |
Seminar: | 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) | |
Issue date: | 2019 | |
Date of publication: | 20.08.2019 |