Skip to content

Arne Meier

  • Dr. rer. nat.
  • Postdoc
  • Institut für Theoretische Informatik, Leibniz Universität Hannover
  • 19PublicationsNumber of items in Arne's My Publications folder on Mendeley.
  • 11Followers

Recent publications

  • Generalized Satisfiability for the Description Logic $\mathcal{ALC}$

    • Meier A
    • Schneider T
    N/AReaders
    N/ACitations
  • Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Extended Abstract)

    • Meier A
    • Schneider T
    N/AReaders
    N/ACitations

Professional experience

Postdoc

Institut für Theoretische Informatik, Leibniz Universität Hannover

December 2011 - Present

Education

Dr. rer. nat.

Institut für Theoretische Informatik, Leibniz Universität Hannover

January 2008 - December 2011(4 years)

Bachelor of Science in Computer Science

Leibniz Universität Hannover

Master of Science in Computer Science

Leibniz Universität Hannover

Followers (11)

Explore network

Following (8)

Explore network