Krumnack, Ulf

Full Name

Krumnack, Ulf

Variants

Krumnack, U
Krumnack, Ulf

Main Affiliation

Institut für Kognitionswissenschaft

FIS NetID

KrUl568

Country

Germany

Lädt ... 2 0 20 0 false

Lädt ... 3 0 20 0 false

Aktive Filter:

Typ: conference paper

Schlagwort: Anti-unification

1-2 von 2

	Erscheinungsdatum	Titel	Autor(en)
1	2009	Syntactic principles of heuristic-driven theory projection	Schwering, Angela; Krumnack, Ulf ; Kuehnberger, Kai-Uwe ; Gust, Helmar
2	2011	Refinements of restricted higher-order anti-unification for heuristic-driven theory projection	Schmidt, M.; Gust, H.; Kühnberger, K.-U. ; Krumnack, U.