Article,
Undecidability of a weak version of MSO+U.
M. Bojanczyk, L. Daviaud, B. Guillon, V. Penelle, and A. Sreejith.Log. Methods Comput. Sci., (2020)
Meta data
- BibTeX key
- journals/lmcs/BojanczykDGPS19
- entry type
- article
- year
- 2020
- journal
- Log. Methods Comput. Sci.
- number
- 1
- volume
- 16
- ee
- https://doi.org/10.23638/LMCS-16(1:12)2020
- url
- http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#BojanczykDGPS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/lmcs/BojanczykDGPS19
%A Bojanczyk, Mikolaj
%A Daviaud, Laure
%A Guillon, Bruno
%A Penelle, Vincent
%A Sreejith, A. V.
%D 2020
%J Log. Methods Comput. Sci.
%K dblp
%N 1
%T Undecidability of a weak version of MSO+U.
%U http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#BojanczykDGPS19
%V 16
@article{journals/lmcs/BojanczykDGPS19,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Bojanczyk, Mikolaj and Daviaud, Laure and Guillon, Bruno and Penelle, Vincent and Sreejith, A. V.},
biburl = {https://www.bibsonomy.org/bibtex/2f698e4b918eeb17dd985a37b22ba18d9/dblp},
ee = {https://doi.org/10.23638/LMCS-16(1:12)2020},
interhash = {417fec5f0331e99bd7bfbe71b7334a9d},
intrahash = {f698e4b918eeb17dd985a37b22ba18d9},
journal = {Log. Methods Comput. Sci.},
keywords = {dblp},
number = 1,
timestamp = {2024-04-09T01:50:50.000+0200},
title = {Undecidability of a weak version of MSO+U.},
url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#BojanczykDGPS19},
volume = 16,
year = 2020
}