scientific article; zbMATH DE number 3823780
zbMATH Open0521.03049MaRDI QIDQ3671165FDOQ3671165
Authors: Wolfgang Schönfeld 
Publication date: 1981
Title of this publication is not available (Why is that?)
undecidabilitybinary relationscompilerrelational data basediophantine relationrelational data structuresnon-numerical processingfixed-points of continuous relation operators
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20) Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Other classical set theory (including functions, relations, and set algebra) (03E20)
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 Q3671165)
