scientific article; zbMATH DE number 7104927
From MaRDI portal
Publication:5232901
Christian Sternagel, Nao Hirokawa, Aart Middeldorp, Sarah Winkler
Publication date: 13 September 2019
Full work available at URL: https://arxiv.org/abs/1802.08437
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Uses Software
This page was built for publication: