Martin Prinzhorn

MP

1

Publications

43

Citations

1

H-Index

2010

Active since

Martin Prinzhorn is an author specializing in formal methods, automated reasoning, and language studies.

Publications per year

2010–2010

1

Publications

1