Romeo and Juliet Is EXPTIME-Complete

Gahlawat, Harmender, Křišťan, Jan Matyáš, Valla, Tomáš

Open source

DOI
10.4230/lipics.mfcs.2024.54
Published
2024
Container
Information and Computation
Publisher
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open access
yes

Credibility signals

uncertain Score 53/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.4230/lipics.mfcs.2024.54,
  title = {Romeo and Juliet Is EXPTIME-Complete},
  author = {Gahlawat, Harmender and Křišťan, Jan Matyáš and Valla, Tomáš},
  year = {2024},
  journal = {Information and Computation},
  doi = {10.4230/lipics.mfcs.2024.54},
  url = {https://doi.org/10.4230/lipics.mfcs.2024.54}
}

RIS

TY  - JOUR
TI  - Romeo and Juliet Is EXPTIME-Complete
AU  - Gahlawat, Harmender
AU  - Křišťan, Jan Matyáš
AU  - Valla, Tomáš
PY  - 2024
JO  - Information and Computation
DO  - 10.4230/lipics.mfcs.2024.54
UR  - https://doi.org/10.4230/lipics.mfcs.2024.54
ER  - 

APA

Harmender, G., Matyáš, K. J., & Tomáš, V. (2024). Romeo and Juliet Is EXPTIME-Complete. Information and Computation. https://doi.org/10.4230/lipics.mfcs.2024.54

Source records