Publisher
National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka)
Reference17 articles.
1. Abramsky S., Gabbay D. and Maibaum T. (editors). (1993–2000). Handbook of Logic in Computer Science Oxford University Press, Vol. 1–5.
2. Non-deterministic semantics for logical systems;Avron;In Handbook of Philosophical Logic D M Gabbay F Guenthner (eds ) 2nd ed,2011
3. https://doi.org/10.1007/978-94-007-0479-4_4
4. Avoiding the undefined by underspecification;Gries;Springer Berlin Heidelberg,1995
5. https://doi.org/10.1007/BFb0015254
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献