Concepedia
Statistics
Publications
2
Citations
58
H-Index
Active since
1988
Christian Codognet is an author specializing in computing, computer science, and logic.
Publications per year
1988–1990
Abstract interpretation for concurrent logic languages
Christian Codognet, Philippe Codognet, Marc-Michel Corsini · Conference on Logic Programming · 1990 · 38 citations
Computing, Computer Science, Formal Methods +13
Yet Another Intelligent Backtracking Method.
Christian Codognet, Philippe Codognet, Gilberto Filé · International Conference on Lightning Protection · 1988 · 20 citations
Computing, Computer Science, Algorithms +3
1–2 of 2