| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 5043201 (Why is no real title available?) | 2006-08-02 | Paper |
| scientific article; zbMATH DE number 1848368 (Why is no real title available?) | 2003-01-05 | Paper |
| scientific article; zbMATH DE number 32299 (Why is no real title available?) | 1992-06-28 | Paper |
From logic design to logic programming. Theorem proving techniques and P- functions
Lecture Notes in Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4007747 (Why is no real title available?) | 1986-01-01 | Paper |
Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity
IEEE Transactions on Computers | 1986-01-01 | Paper |
P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
Lecture Notes in Computer Science | 1984-01-01 | Paper |
Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
IEEE Transactions on Computers | 1984-01-01 | Paper |
A Matrix Formalism for Asynchronous Implementation of Algorithms
IEEE Transactions on Computers | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3928890 (Why is no real title available?) | 1983-01-01 | Paper |
Synthesis and Optimization of Programs by Means of P-Functions
IEEE Transactions on Computers | 1982-01-01 | Paper |
Boolean calculus of differences
Lecture Notes in Computer Science | 1981-01-01 | Paper |
Universal algorithms for evaluating Boolean functions
Discrete Applied Mathematics | 1981-01-01 | Paper |
P-functions: A new tool for the analysis and synthesis of binary programs
IEEE Transactions on Computers | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3739442 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3739443 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3693166 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3735129 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3735130 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3694581 (Why is no real title available?) | 1979-01-01 | Paper |
Discrete function expansions in integer powers
Discrete Applied Mathematics | 1979-01-01 | Paper |
Encoding of parallel program schemata by vector addition systems
International Journal of Computer & Information Sciences | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3695105 (Why is no real title available?) | 1979-01-01 | Paper |
Meet and Join Derivatives and Their Use in Switching Theory
IEEE Transactions on Computers | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3599956 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3694981 (Why is no real title available?) | 1978-01-01 | Paper |
Logic Properties of Unate Discrete and Switching Functions
IEEE Transactions on Computers | 1977-01-01 | Paper |
Difference operators and extended truth vectors for discrete functions
Discrete Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3670366 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3547215 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3543942 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3547213 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3547216 (Why is no real title available?) | 1974-01-01 | Paper |
Boolean Differential Calculus and its Application to Switching Theory
IEEE Transactions on Computers | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3440322 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3445166 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3440323 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3547210 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3547211 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3547214 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3521865 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3428860 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3405849 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3383885 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3363037 (Why is no real title available?) | 1969-01-01 | Paper |
