International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (13. : 2018 : Oxford) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oxford In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1163743488 Homepage (1) GND 2018