The Temporal Logic of Coalgebras via Galois Algebras - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Bart Jacobs. The Temporal Logic of Coalgebras via Galois Algebras. Mathematical Structures in Computer Science, 12(6):875-903, 2002.

@article{Jacobs02:0,
  title = {The Temporal Logic of Coalgebras via Galois Algebras},
  author = {Bart Jacobs},
  year = {2002},
  tags = { algebra, logic},
  researchr = {https://researchr.org/publication/Jacobs02%3A0},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {12},
  number = {6},
  pages = {875-903},
}

runs on WebDSL