Model Checking Existential Logic on Partially Ordered Sets

Bova, Simone; Ganian, Robert; Szeider, Stefan

doi:10.1145/2814937

by Simone Bova, Robert Ganian, Stefan Szeider

Reference:

Model Checking Existential Logic on Partially Ordered SetsSimone Bova, Robert Ganian, Stefan SzeiderACM Transactions on Computational Logic, volume 17, number 2, 2016.

Bibtex Entry:

@string{acmtcl="ACM Transactions on Computational Logic"}
@article{BovaGanianSzeider16,
    author = {Simone Bova and Robert Ganian and Stefan Szeider},
     title = {Model Checking Existential Logic on Partially Ordered Sets},
   journal = ACMTCL,
      year = {2016},
      number = {2},
      volume = {17},
      keywords = {compile},
      doi = {10.1145/2814937},
}