Concepedia

Lutz Straß Burger

LS

Statistics

Publications

1

Citations

24

H-Index

1

Active since

2011

Affiliations

Centre Inria de Saclay(Current)

Lutz Straß Burger is an author at Centre Inria de Saclay specializing in engineering, formal methods, and automated reasoning.

Top concepts

Publications per year

2011–2011

1

Publications

1

A system of interaction and structure IV

Lutz Straß Burger, Alessio Guglielmi · ACM Transactions on Computational Logic · 2011 · 24 citations · Full text

, , +12

Rows per page

1–1 of 1