scientific article; zbMATH DE number 862545

zbMath0851.68039MaRDI QIDQ4871648

Luc Albert

Publication date: 1 April 1996

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

zbMATH Keywords

composed queries in databasesfirst-order languages in logic programming

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (1)

Average-case analysis of unification algorithms

This page was built for publication: