scientific article; zbMATH DE number 2065283

zbMath1103.68802MaRDI QIDQ4459910

M. Várterész, K. Pásztor Varga

Publication date: 18 May 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formula rewritingsemantic tableaux

Mathematics Subject Classification ID

This page was built for publication: