scientific article; zbMATH DE number 3999279

From MaRDI portal

Publication:4725737

Jump to:navigation, search

zbMath0616.68032MaRDI QIDQ4725737

No author found.

Publication date: 1986

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

zbMATH Keywords

semantics syntax higher-order logic programming logic field fragment of second-order logic Al-Khowarizmi superset of pure Prolog

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

A logico-algebraic approach to the model theory of knowledge

This page was built for publication:

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