André Thayse - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

1998

Reply to Bringsjord and FerrucciAndré Thayse. mima, 8(2):311-312, 1998. [doi]

1996

From natural language processing to logic for expert systems - a logic based approach to artificial intelligenceAndré Thayse. Wiley, 1996.

1987

From Logic Design to Logic Programming: Theorem Proving Techniques and P-FunctionsDominique Snyers, André Thayse. Volume 271 of Lecture Notes in Computer Science, Springer, 1987.

1986

Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same ActivityDominique Snyers, André Thayse. TC, 35(10):853-861, 1986.

1984

Synthesis and Asynchronous Implementation of Algorithms Using a Generalized ::::P::::-Function ConceptAndré Thayse. TC, 33(10):861-868, 1984.

A Matrix Formalism for Asynchronous Implementation of AlgorithmsAndré Thayse. TC, 33(4):289-300, 1984.

P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete AlgorithmsAndré Thayse. Volume 175 of Lecture Notes in Computer Science, Springer, 1984.

1982

Synthesis and Optimization of Programs by Means of ::::P::::-FunktionsAndré Thayse. TC, 31(1):34-40, 1982.

1981

::::P::::-Functions: A New Tool for the Analysis and Synthesis of Binary ProgramsAndré Thayse. TC, 30(2):126-134, 1981.

Boolean Caclulus of DifferencesAndré Thayse. Volume 101 of Lecture Notes in Computer Science, Springer, 1981.

Universal algorithms for evaluating boolean functionsAndré Thayse. DAM, 3(1):53-65, 1981. [doi]

1979

Encoding of parallel program schemata by vector addition systemsAndré Thayse. ijpp, 8(3):209-218, 1979. [doi]

Discrete function expansions in integer powersAndré Thayse. DAM, 1(1-2):127-136, 1979. [doi]

1978

Meet and Join Derivatives and Their Use in Switching TheoryAndré Thayse. TC, 27(8):713-720, 1978. [doi]

Optimization of multivalued decision algorithmsAndré Thayse, Marc Davio, Jean-Pierre Deschamps. ismvl 1978: 171-178 [doi]

1977

Logic Properties of Unate Discrete and Switching FunctionsAndré Thayse, Jean-Pierre Deschamps. TC, 26(12):1202-1212, 1977.

1976

Difference operators and extended truth vectors for discrete functionsAndré Thayse. DM, 14(2):171-202, 1976. [doi]

1973

Boolean Differential Calculus and its Application to Switching TheoryAndré Thayse, Marc Davio. TC, 22(4):409-420, 1973. [doi]

Sign in or sign up to see more results.

runs on WebDSL