About the Expressive Power and Complexity of Order-Invariance with Two Variables

Bartosz BednarczykBartosz Bednarczyk, Julien GrangeJulien Grange

Download

Bartosz Bednarczyk, Julien Grange
About the Expressive Power and Complexity of Order-Invariance with Two Variables
Logical Methods in Computer Science, 21(1):30:1--30:28, March 2025

Details
Bibtex

Projekt:Project: DeciGUT
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@article{BG2025,
  author  = {Bartosz Bednarczyk and Julien Grange},
  title   = {About the Expressive Power and Complexity of Order-Invariance with
             Two Variables},
  journal = {Logical Methods in Computer Science},
  volume  = {21},
  number  = {1},
  year    = {2025},
  month   = {March},
  pages   = {30:1--30:28}
}