scientific article; zbMATH DE number 2080295

MaRDI QIDQ4472549zbMATH OpenFDO

Authors David Allen McAllester

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1894/18940013.htm

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1765697
• On the complexity analysis of static analyses
• scientific article; zbMATH DE number 4110071
• scientific article; zbMATH DE number 2090529
• scientific article; zbMATH DE number 4049157

Cited in

(2)

• scientific article; zbMATH DE number 1765697 (Why is no real title available?)
• On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472549)