scientific article; zbMATH DE number 5043325

zbMath1095.68016MaRDI QIDQ5480638

Linh Anh Nguyen

Publication date: 3 August 2006

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A Modal-Layered Resolution Calculus for K

This page was built for publication: