Concepedia

Teodor Knapik

TK

Statistics

Publications

4

Citations

45

H-Index

4

Active since

1994

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure - PSL

Teodor Knapik is an author at Centre National de la Recherche Scientifique specializing in computer science, model theory, and algebra.

Publications per year

1994–2002

4

Publications

4

The evaluation of first-order substitution is monadic second-order compatible

Bruno Courcelle, Teodor Knapik · Theoretical Computer Science · 2002 · 14 citations

, , +7

Observational specifications and the indistinguishability assumption

Gilles Bernot, Michel Bidoit, Teodor Knapik · Theoretical Computer Science · 1995 · 11 citations

, , +10

An Internal Presentation of Regular Graphs by Prefix-Recognizable Graphs

Didier Caucal, Teodor Knapik · Theory of Computing Systems · 2001 · 10 citations

, , +6

Behavioural approaches to algebraic specifications

Gilles Bernot, Michel Bidoit, Teodor Knapik · Acta Informatica · 1994 · 10 citations

, , +10

1–4 of 4