Concepedia

Christian Savioz

CS

Statistics

Publications

1

Citations

38

H-Index

1

Active since

1987

Affiliations

ETH Zurich(Current)

Christian Savioz is an author at ETH Zurich specializing in formal methods, linguistics, and engineering.

Top concepts

Publications per year

1987–1987

1

Publications

1

Monadic second order definable relations on the binary tree

H. Läuchli, Christian Savioz · Journal of Symbolic Logic · 1987 · 38 citations · Full text

, , +12

1–1 of 1