共 50 条
- [23] Towards formalizing non-monotonic reasoning in physics: Logical approach based on physical induction and its relation to kolmogorov complexity Lect. Notes Comput. Sci., (390-404):
- [24] Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk) PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 1 - 13
- [28] An approach to formalizing the semantics of UML statecharts CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 753 - 765
- [30] Formalizing materialization using a metaclass approach ADVANCED INFORMATION SYSTEMS ENGINEERING, 1998, 1413 : 401 - 421