scientific article; zbMATH DE number 7359428
From MaRDI portal
Publication:4993364
DOI10.4230/LIPICS.FSCD.2018.32zbMath1462.68088MaRDI QIDQ4993364
Aart Middeldorp, Kiraku Shintani, Makoto Hamana, Julian Nagele, Takahito Aoto, Naoki Nishida, Harald Zankl, Nao Hirokawa
Publication date: 15 June 2021
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)
Uses Software
Cites Work
This page was built for publication:
