%0 Conference Paper %1 conf/scai/DixonF97 %A Dixon, Clare %A Fisher, Michael %B SCAI %D 1997 %E Grahne, Gösta %I IOS Press %K dblp %P 28-39 %T Tableaux for Synchronous Systems of Knowledge and Time with Interactions. %U http://dblp.uni-trier.de/db/conf/scai/scai1997.html#DixonF97 %V 40 %@ 90-5199-354-4

@inproceedings{conf/scai/DixonF97, added-at = {2019-08-01T00:00:00.000+0200}, author = {Dixon, Clare and Fisher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/21f35e18989e2c48acfb0ee1fa1005d06/dblp}, booktitle = {SCAI}, crossref = {conf/scai/1997}, editor = {Grahne, Gösta}, interhash = {16bd1e80082cb628a4d9e91e37fc1c88}, intrahash = {1f35e18989e2c48acfb0ee1fa1005d06}, isbn = {90-5199-354-4}, keywords = {dblp}, pages = {28-39}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2019-08-02T11:36:26.000+0200}, title = {Tableaux for Synchronous Systems of Knowledge and Time with Interactions.}, url = {http://dblp.uni-trier.de/db/conf/scai/scai1997.html#DixonF97}, volume = 40, year = 1997 }