Reasoning about updates

Authors	M. Safarova
Publication date	2002
Host editors	H. Zeevat D. de Jongh M. Nilsenova
Book title	Proceedings of the 3rd and 4th Tbilisi Symposium on Language, Logic and Computation
Publisher	Amsterdam: University of Amsterdam
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Conference contribution
Permalink to this page