Publikationen

Seite 1 von 1.

1. Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe

   Compiling Logics

   In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …

• 1