A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Krivine, J. L., CALCUL DES PREDICATS A PLUSIEURS TYPES D'OBJETS THEORIE DES TYPES (CALCUL DES PREDICATS D'ORDRE FINI) (1964) |
| Krohn, Kenneth ; Mateosian, Richard ; Rhodes, John, Complexity of Ideals in Finite Semigroups and Finite State Machines (1966) |
| Krohn, Kenneth ; Rhodes, John, Complexity of Finite Semigroups (1966) |
| Krom, M. R., The Dicision Problem for a Class of First-Order Formulas in which All Disjunctions are Binary (1965) |
| Krom, M. R., Some Interpolation Theorems for First-Order Formulas in Which All Disjunctions are Binary (1968) |
| Kron, Aleksandar, An Analysis of Causality (1976) |
| Kruse, Arthur H., Souslinoid and Analytic Sets in a General Setting (1969) |
| Kubiński, Tadeusz, On Extension of the Theory of Syntactic Categories (1959) |
| Kubiński, Tadeusz, Wyrażenia Cudzysłowowe w Językach Sformalizowanych (1964) |
| Kubiński, Tadeusz, On Structurality of Rules of Inference (1965) |