André Thayse

17 papers Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
1998 J jnl
Reply to Bringsjord and Ferrucci.
Minds Mach.
André Thayse
1996 — book
From natural language processing to logic for expert systems - a logic based approach to artificial intelligence.
André Thayse
1987 — book
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Dominique Snyers, André Thayse
1986 J jnl
Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity.
IEEE Trans. Computers
Dominique Snyers, André Thayse
1984 J jnl
A Matrix Formalism for Asynchronous Implementation of Algorithms.
IEEE Trans. Computers
André Thayse
1984 — book
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
André Thayse
1984 J jnl
Synthesis and Asynchronous Implementation of Algorithms Using a Generalized
IEEE Trans. Computers
André Thayse
1982 J jnl
Synthesis and Optimization of Programs by Means of
IEEE Trans. Computers
André Thayse
1981 — book
Boolean Caclulus of Differences
André Thayse
1981 J jnl
Universal algorithms for evaluating boolean functions.
Discret. Appl. Math.
André Thayse
1979 J jnl
Discrete function expansions in integer powers.
Discret. Appl. Math.
André Thayse
1979 J jnl
Encoding of parallel program schemata by vector addition systems.
Int. J. Parallel Program.
André Thayse
1978 J jnl
Meet and Join Derivatives and Their Use in Switching Theory.
IEEE Trans. Computers
André Thayse
1978 — conf
Optimization of multivalued decision algorithms.
MVL
André Thayse, Marc Davio, Jean-Pierre Deschamps
1977 J jnl
Logic Properties of Unate Discrete and Switching Functions.
IEEE Trans. Computers
André Thayse, Jean-Pierre Deschamps
1976 J jnl
Difference operators and extended truth vectors for discrete functions.
Discret. Math.
André Thayse
1973 J jnl
Boolean Differential Calculus and its Application to Switching Theory.
IEEE Trans. Computers
André Thayse, Marc Davio