Krumnack, Ulf

Full Name
Krumnack, Ulf
 
Variants
Krumnack, U
Krumnack, Ulf
 
 
FIS NetID
 
Country
Germany
 
Lädt ... 2 0 20 0 false
 
Lädt ... 3 0 20 0 false
 

Publications

Aktive Filter:
Person:  Kühnberger, K.-U.
Schlagwort:  Anti-unification

1-3 von 3

ErscheinungsdatumTitelAutor(en)
12009Syntactic principles of heuristic-driven theory projectionSchwering, Angela; Krumnack, Ulf ; Kuehnberger, Kai-Uwe ; Gust, Helmar
22011A computational account of conceptual blending in basic mathematicsGuhe, Markus; Pease, Alison; Smaill, Alan; Martinez, Maricarmen; Schmidt, Martin; Gust, Helmar; Kuehnberger, Kai-Uwe ; Krumnack, Ulf 
32011Refinements of restricted higher-order anti-unification for heuristic-driven theory projectionSchmidt, M.; Gust, H.; Kühnberger, K.-U. ; Krumnack, U.