Herwig Nübling

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Herwig Nübling: The polynomial hierarchy for some structures over the binary words. Math. Log. Q. 53(1): 43-51 (2007)

2004

1 EE Herwig Nübling: Adding Skolem functions to simple theories. Arch. Math. Log. 43(3): 359-370 (2004)

2007
2	EE	Herwig Nübling: The polynomial hierarchy for some structures over the binary words. Math. Log. Q. 53(1): 43-51 (2007)
2004
1	EE	Herwig Nübling: Adding Skolem functions to simple theories. Arch. Math. Log. 43(3): 359-370 (2004)