Tableaux for Synchronous Systems of Knowledge and Time with Interactions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Clare Dixon, Michael Fisher. Tableaux for Synchronous Systems of Knowledge and Time with Interactions. In SCAI. pages 28-39, 1997.

@inproceedings{DixonF97,
  title = {Tableaux for Synchronous Systems of Knowledge and Time with Interactions},
  author = {Clare Dixon and Michael Fisher},
  year = {1997},
  researchr = {https://researchr.org/publication/DixonF97},
  cites = {0},
  citedby = {0},
  pages = {28-39},
  booktitle = {SCAI},
}

runs on WebDSL