Author:
Fermüller Christian G.,Pichler Reinhard
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;P. Baumgartner,2003
2. Lecture Notes in Computer Science;P. Baumgartner,2005
3. Baumgartner, P., Fuchs, A., Tinelli, C.: Lemma Learning in the Model Evolution Calculus (submitted)
4. Comon, H., Delor, C.: Equational formulae with membership constraints. Information and Computation 112(2), 167–216 (1994)
5. LNAI;R. Caferra,1991
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Beyond the elementary representations of program invariants over algebraic data types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. Model Representation over Finite and Infinite Signatures;Journal of Logic and Computation;2007-03-21