Prof. Dr. Wied Pakusa
FB Mathematik, Informatik, Technik, Hochschule Koblenz
- 02642/932-379
Pakusa, Wied
Linear Equation Systems and the Search for a Logical Characterisation of Polynomial TimeRWTH Aachen (Hrsg). Aachen. 2016
Pakusa, Wied; Grädel, Erich; Schalthöfer, Svenja et al.
Characterising Choiceless Polynomial Time with First-Order InterpretationsIn 30th Annual ACM/IEEE Symposium on Logic in Computer Science. 2015 S. 677 - 688
Pakusa, Wied; Canavoi, Felix; Grädel, Erich et al.
Defining Winning Strategies in Fixed-Point LogicComputer Society (Hrsg). 30th Annual {ACM/IEEE} Symposium on Logic in Computer Science. Kyoto, Japan. 2015 S. 366 - 377
Pakusa, Wied; Zaid, Faried Abu; Grädel, Erich et al.
Choiceless Polynomial Time on structures with small Abelian colour classesIn Mathematical Foundations of Computer Science 2014. Springer 2014 S. 50 - 62
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