The negation problem for inductive theories

From MaRDI portal

Publication:1972818

Jump to:navigation, search

zbMath0936.68017MaRDI QIDQ1972818

Viktor Nikolaevich Zhelyabin

Publication date: 13 April 2000

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

data bases complete theory inductive theory reduced products logical programming weakly countably categorical theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

This page was built for publication: The negation problem for inductive theories

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