Cited By
View all- Beierle CHaldimann JKern-Isberner G(2021)Semantic Splitting of Conditional Belief BasesLogic, Computation and Rigorous Methods10.1007/978-3-030-76020-5_5(82-95)Online publication date: 4-Jun-2021
- Börger E(2014)The abstract state machines method for modular design and analysis of programming languagesJournal of Logic and Computation10.1093/logcom/exu07727:2(417-439)Online publication date: 18-Dec-2014
- Banach RJeske CPoppleton MStepney S(2007)Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward RefinementsFundamenta Informaticae10.5555/2366448.236645177:1-2(29-69)Online publication date: 1-Jan-2007
- Show More Cited By