Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference6 articles.
1. Doyle J A truth maintenance system.Artificial Intelligence, 1979, 12: 231–272.
2. Gallier J H. Logic for Computer Science, Foundation of Automatic Theorem Proving. John Wiley and Sons, 1987.
3. Chang C C, Keisler H J. Model Theory. North-Holland, 1973.
4. Alchourrón C E, Gärdenfors R, Makinson D. On the logic of theory change.Journal of Symbolic Logic, 1985, 50(2): 510–530.
5. Li Wei. A logical framework for evolution of specifications. InProgramming Languages and Systems, (ESOP'94), LNCS 788, Springer-Verlag, 1994, pp.394–408.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献