Concepedia

Jos x E Iovino

JX

Statistics

Publications

1

Citations

36

H-Index

1

Active since

2002

Affiliations

Carnegie Mellon University(Current)

Jos x E Iovino is an author at Carnegie Mellon University specializing in automated reasoning.

Top concepts

Publications per year

2002–2002

1

Publications

1

A primer of simple theories

Rami Grossberg, Jos x E Iovino, Olivier Lessmann · Archive for Mathematical Logic · 2002 · 36 citations

, , +1

1–1 of 1