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