Statistics
Publications
3
Citations
31
H-Index
3
Active since
1982
Affiliations
University of Kaiserslautern(Current)
Norbert Eisinger is an author at University of Kaiserslautern specializing in computer science, computing, and formal methods.
Publications per year
1982–1998
3
3
SIC: Satisfiability Checking for Integrity Constraints.
François Bry, Norbert Eisinger, Heribert Schütz et al. · 1998 · 11 citations
1–3 of 3