Philipp Weis (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words Logical Methods in Computer Science 5(3): (2009)

3 Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO² on Words. CSL 2007: 343-357

2 Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words. Electronic Colloquium on Computational Complexity (ECCC) 14(008): (2007)

1 Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO² on Words. Circuits, Logic, and Games 2006

Selection of 4 from 5 records - Philipp Weis has 5 coauthors

5		Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words Logical Methods in Computer Science 5(3): (2009)
3		Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO² on Words. CSL 2007: 343-357
2		Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words. Electronic Colloquium on Computational Complexity (ECCC) 14(008): (2007)
1		Philipp Weis, Neil Immerman: Structure Theorem and Strict Alternation Hierarchy for FO² on Words. Circuits, Logic, and Games 2006