André Thayse

Publication Activity (10 Years)

Years Active: 1973-1998
Publications (10 Years): 0

Publications

André Thayse
Reply to Bringsjord and Ferrucci. Minds Mach. 8 (2) (1998)
Dominique Snyers, André Thayse
Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity. IEEE Trans. Computers 35 (10) (1986)
André Thayse
-Function Concept. IEEE Trans. Computers 33 (10) (1984)
André Thayse
A Matrix Formalism for Asynchronous Implementation of Algorithms. IEEE Trans. Computers 33 (4) (1984)
André Thayse
-Funktions. IEEE Trans. Computers 31 (1) (1982)
André Thayse
Universal algorithms for evaluating boolean functions. Discret. Appl. Math. 3 (1) (1981)
André Thayse
-Functions: A New Tool for the Analysis and Synthesis of Binary Programs. IEEE Trans. Computers 30 (2) (1981)
André Thayse
Encoding of parallel program schemata by vector addition systems. Int. J. Parallel Program. 8 (3) (1979)
André Thayse
Discrete function expansions in integer powers. Discret. Appl. Math. 1 (1-2) (1979)
André Thayse
Meet and Join Derivatives and Their Use in Switching Theory. IEEE Trans. Computers 27 (8) (1978)
André Thayse, Marc Davio, Jean-Pierre Deschamps
Optimization of multivalued decision algorithms. MVL (1978)
André Thayse, Jean-Pierre Deschamps
Logic Properties of Unate Discrete and Switching Functions. IEEE Trans. Computers 26 (12) (1977)
André Thayse
Difference operators and extended truth vectors for discrete functions. Discret. Math. 14 (2) (1976)
André Thayse, Marc Davio
Boolean Differential Calculus and its Application to Switching Theory. IEEE Trans. Computers 22 (4) (1973)