University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)
  7. News
  8. New article on accepted in ACM journal

New article on accepted in ACM journal

The article “Dependently-Typed Higher-Order Logic” co-authored by Prof. Christoph Benzmüller has just been accepted in the ACM Transactions on Computational Logic. The paper evolved out of the maths masters thesis 

of Colin Rothgang at FU Berlin (now at Imdea Software Institute, Spain and Universidad Politécnica de Madrid, Spain), which was supervised by Benzmüller and Florian Rabe (FAU Erlangen).