Exploration of language specifications by compilation to first-order logic
- Publikationstyp:
- Zeitschriftenaufsatz
- Metadaten:
-
- Autoren
- Sylvia Grewe
- Sebastian Erdweg
- André Pacak
- Michael Raulf
- Mira Mezini
- DOI
- 10.1016/j.scico.2017.08.001
- ISSN
- 0167-6423
- Zeitschrift
- Science of Computer Programming
- Sprache
- en
- Paginierung
- 146 - 172
- Datum der Veröffentlichung
- 2018
- Status
- Published
- Herausgeber
- Elsevier BV
- Herausgeber URL
- http://dx.doi.org/10.1016/j.scico.2017.08.001
- Datum der Datenerfassung
- 2022
- Titel
- Exploration of language specifications by compilation to first-order logic
- Ausgabe der Zeitschrift
- 155
Datenquelle: Crossref
- Andere Metadatenquellen:
-
- Autoren
- Sylvia Grewe
- Sebastian Erdweg
- André Pacak
- Michael Raulf
- Mira Mezini
- DOI
- 10.1016/j.scico.2017.08.001
- Zeitschrift
- Sci. Comput. Program.
- Paginierung
- 146 - 172
- Datum der Veröffentlichung
- 2018
- Titel
- Exploration of language specifications by compilation to first-order logic.
- Ausgabe der Zeitschrift
- 155
Datenquelle: DBLP
- Beziehungen:
- Eigentum von