Herwig Nübling Vis

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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)