3 Treffer für Ort = "Duisburg"
zu den Filteroptionen3 Treffer für Ort = "Duisburg"
- Das Dokument ist öffentlich im Netz zugänglich.
Composition and decomposition of DPO transformations with borrowed context
Baldan, Paolo ; Ehrig, Hartmut ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006 - Das Dokument ist öffentlich im Netz zugänglich.
Deriving bisimulation congruences in the presence of negative application conditions
Rangel, Guilherme ; König, Barbara ; Ehrig, HartmutDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008 - Das Dokument ist öffentlich im Netz zugänglich.
On the recognizability of arrow and graph languages
Bruggink, H. J. Sander ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008