André Thayse

According to our database, André Thayse authored at least 18 papers between 1973 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Reply to Bringsjord and Ferrucci.

André Thayse

Minds Mach., 1998

1996

From natural language processing to logic for expert systems - a logic based approach to artificial intelligence.

André Thayse

Wiley, 1996

1987

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Dominique Snyers, André Thayse

Lecture Notes in Computer Science 271, Springer, ISBN: 3-540-18217-9, 1987

1986

Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity.

Dominique Snyers, André Thayse

IEEE Trans. Computers, 1986

1984

A Matrix Formalism for Asynchronous Implementation of Algorithms.

André Thayse

IEEE Trans. Computers, 1984

Synthesis and Asynchronous Implementation of Algorithms Using a Generalized <i>P</i>-Function Concept.

André Thayse

IEEE Trans. Computers, 1984

P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms

André Thayse

Lecture Notes in Computer Science 175, Springer, ISBN: 3-540-13358-5, 1984

1982

Synthesis and Optimization of Programs by Means of <i>P</i>-Funktions.

André Thayse

IEEE Trans. Computers, 1982

1981

<i>P</i>-Functions: A New Tool for the Analysis and Synthesis of Binary Programs.

André Thayse

IEEE Trans. Computers, 1981

Universal algorithms for evaluating boolean functions.

André Thayse

Discret. Appl. Math., 1981

Boolean Caclulus of Differences

André Thayse

Lecture Notes in Computer Science 101, Springer, ISBN: 3-540-10286-8, 1981

1979

Encoding of parallel program schemata by vector addition systems.

André Thayse

Int. J. Parallel Program., 1979

Discrete function expansions in integer powers.

André Thayse

Discret. Appl. Math., 1979

1978

Meet and Join Derivatives and Their Use in Switching Theory.

André Thayse

IEEE Trans. Computers, 1978

Optimization of multivalued decision algorithms.

André Thayse, Marc Davio, Jean-Pierre Deschamps

Proceedings of the eighth international symposium on Multiple-valued logic, 1978

1977

Logic Properties of Unate Discrete and Switching Functions.

André Thayse, Jean-Pierre Deschamps

IEEE Trans. Computers, 1977

1976

Difference operators and extended truth vectors for discrete functions.

André Thayse

Discret. Math., 1976

1973

Boolean Differential Calculus and its Application to Switching Theory.

André Thayse, Marc Davio

IEEE Trans. Computers, 1973