The algebras of partial functions and their invariants

Cybernetics

Volumn 17, Issue 2, 1981, Pages 157-167

  Romov, B A ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0242701545     PISSN: 00114235     EISSN: 15738337     Source Type: Journal    
DOI: 10.1007/BF01069627     Document Type: Article

References (18)

1. Introduction to a general theory of elementary propositions
2. Completeness criteria for partial functions of the algebra of logic and many-valued logics
3. Functional completeness for not everywhere defined functions of the algebra of logic
4. Algorithmic topics of synthesis in functional systems
5. Iterative algebras and Post manifolds
6. Galois theory for Post algebras. I, II
7. Théories de Galois locales
8. Une correspondence de Galois entre les algébres universelles et les relations dans le méme univers
9. Galois correspondence between iterative Post algebras and relations on infinite sets
10. Über die funktionale vollständigkeit in den mehrwertigen Logiken
11. On functional completeness in countably-valued logics
12. The set of maximal closed classes of operations on an infinite set A has a cardinality 2 exp 2 exp |A|
13. Maximal clones on algebras A and Ar
14. On formulability of predicates on a finite model
15. Algorithmic completeness and complexity of microprograms
16. Precomplete classes of partial countably-valued logic containing all the functions of one variable
17. Functional completeness in the small