Concepedia
1
Publications
133
Citations
H-Index
1986
Active since
Affiliations
Aptar (France)(Current)
R. Lescoeur is an author at Aptar (France) specializing in semantics, formal methods, and automated reasoning.
Top concepts
SemanticsEngineeringFormal MethodsAutomated Reasoning
Publications per year
1986–1986
The Alexander Method — A technique for the processing of recursive axioms in deductive databases
J. Rohmer, R. Lescoeur, J Kérisit · New Generation Computing · 1986 · 133 citations
Computational Logic, Engineering, Deductive Method +8
Rows per page
1–1 of 1