Jan Holly

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

1 Lou van den Dries, Jan Holly: Quantifier Elimination for Modules with Scalar Variables. Ann. Pure Appl. Logic 57(2): 161-179 (1992)

	1992
1		Lou van den Dries, Jan Holly: Quantifier Elimination for Modules with Scalar Variables. Ann. Pure Appl. Logic 57(2): 161-179 (1992)

Coauthor Index