TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Grewe, Sylvia ; Erdweg, Sebastian ; Pacak, André ; Raulf, Michael ; Mira, Mezini (2018)
Exploration of language specifications by compilation to first-order logic.
In: Science of Computer Programming, 155
doi: 10.1016/j.scico.2017.08.001
Artikel, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira (2016)
Exploration of language specifications by compilation to first-order logic.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016
Buchkapitel, Bibliographie

Diese Liste wurde am Tue Mar 26 02:20:58 2024 CET generiert.