scientific article; zbMATH DE number 218508

From MaRDI portal

Publication:4694223

Jump to:navigation, search

zbMath0805.68020MaRDI QIDQ4694223

Ivan N. Soskov

Publication date: 29 June 1993

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

zbMATH Keywords

definability logic programs computational power \(\forall\)-weak admissibility

Mathematics Subject Classification ID

Logic programming (68N17) Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication:

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