Prof. Dr. Wied Pakusa
FB Mathematik, Informatik, Technik, Hochschule Koblenz
Joseph-Rovan-Allee 2, 53424 Remagen
- 02642/932-379
Ergebnisse pro Seite:
10
Pakusa, Wied; Dawar, Anuj; Grädel, Erich et al.
Definability of linear equation systems over groups and ringsLog. Methods Comput. Sci. Bd. 9. H. 4. 2013
Pakusa, Wied; Zaid, Faried Abu; Grädel, Erich et al.
Model-Theoretic Properties of omega-Automatic StructuresTheory of Computing Systems, Special Issue dedicated to STACS 2012. 2013
Pakusa, Wied
Finite Model Theory with Operators from Linear AlgebraAachen. 2010