scientific article

From MaRDI portal

Publication:2757280

Jump to:navigation, search

zbMath0984.03030MaRDI QIDQ2757280

Andrzej Biela

Publication date: 26 November 2001

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

zbMATH Keywords

automated theorem proving completeness problem algorithmic logic admissibility of rules algorithmic structural completeness program substitution properties of programs

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2757280&oldid=15634102"

Pages with script errors