0534219 - ÚI 2021 US eng C - Conference Paper (international conference)
Cerna, David M. - Lettmann, M.Towards a clausal analysis of proof schemata.
SYNASC 2017. Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, 2018 - (Jebelean, T.; Negru, V.; Petcu, D.; Zaharie, D.; Ida, T.; Watt, S.), s. 113-120. ISBN 978-1-5386-2626-9.
[SYNASC 2017. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing /19./. Timisoara (RO), 21.09.2017-24.09.2017]
Keywords : Characteristic Clause Set * Induction * Lazy Evaluation * Proof Analysis
Permanent Link: http://hdl.handle.net/11104/0312443