Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Marcello M. Bonsangue, Joost N. Kok. Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. Inf. Comput., 155(1-2):170-201, 1999.

@article{BonsangueK99,
  title = {Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems},
  author = {Marcello M. Bonsangue and Joost N. Kok},
  year = {1999},
  tags = {logic},
  researchr = {https://researchr.org/publication/BonsangueK99},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {155},
  number = {1-2},
  pages = {170-201},
}

runs on WebDSL