Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields

Authors:
B. Curtis Eaves;Uriel G. Rothblum
Affiliations:
-;-
Venue:
Mathematical Programming: Series A and B
Year:
1992

Citing 0
Cited 4

TReX: A Tool for Reachability Analysis of Complex Systems

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering

IEEE Transactions on Software Engineering
Solving linear constraints over real and rational fields

Cybernetics and Systems Analysis
Parameterized loop tiling

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract