First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
Middeldorp, Aart ; Lochmann, Alexander ; Mitterwallner, Fabian
Journal of automated reasoning, 2023-06, Vol.67 (2), p.14-14, Article 14 [Periódico revisado por pares]Dordrecht: Springer Netherlands
Texto completo disponível