scientific article; zbMATH DE number 3798989

zbMATH Open0506.68012MaRDI QIDQ4743713

Shigeki Goto

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

modal logicpredicate calculusquery languageprogramming languageresolution principleprogram synthesisintensional databaseextensional databaseDURALrelative Horn clause

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) General topics in the theory of software (68N01)

Related Items (1)

A list processing language TAO with multiple programming paradigms

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 Q4743713)