scientific article; zbMATH DE number 3823780
binary relationscompilerdiophantine relationfixed-points of continuous relation operatorsnon-numerical processingrelational data baserelational data structuresundecidability
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Other classical set theory (including functions, relations, and set algebra) (03E20) Other algebras related to logic (03G25) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Information storage and retrieval of data (68P20) Graph theory (including graph drawing) in computer science (68R10)
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)
