scientific article; zbMATH DE number 3490427
Mathematics in general (00A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Turing machines and related notions (03D10) Recursive functions and relations, subrecursive hierarchies (03D20) Set theory (03Exx) Logical aspects of Boolean algebras (03G05) Trees (05C05) Structure theory of lattices (06B05) Structure theory of Boolean algebras (06E05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to group theory (20-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01)
- The two-row constraints realization problem
- On conceptual model specification and verification
- A theory of well-connected relations
- On some problems in the assembling of multilevel substructuring
- On the lattice of specifications: Applications to a specification methodology
- A class of non-deterministic specifications for supervisory control
- Normalization of class hierarchy in databases
- Tolerance rough set theory based data summarization for clustering large datasets
- Approximations on normal forms in rough-fuzzy predicate calculus
- European Summer Meeting of the Association for Symbolic Logic
- scientific article; zbMATH DE number 3596664 (Why is no real title available?)
- SOME PROPERTIES OF TENSOR PRODUCT OF INTUITIONISTIC L-FUZZY GRAPHS
- On the reduction of \(LR(k)\) parsers
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 Q4072797)
