Edinburgh Research Explorer

A Comparison of Decision Procedures in Presburger Arithmetic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

A Comparison of Decision Procedures in Presburger Arithmetic. / Janicic, Predrag; Green, Ian; Bundy, Alan.

Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97). 1997.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Janicic, P, Green, I & Bundy, A 1997, A Comparison of Decision Procedures in Presburger Arithmetic. in Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97). VIII International Conference on Logic and Computer Science - Theoretical Foundations of Computing, Novi Sad, Serbia, 1/09/97.

APA

Janicic, P., Green, I., & Bundy, A. (1997). A Comparison of Decision Procedures in Presburger Arithmetic. In Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97)

Vancouver

Janicic P, Green I, Bundy A. A Comparison of Decision Procedures in Presburger Arithmetic. In Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97). 1997.

Author

Janicic, Predrag ; Green, Ian ; Bundy, Alan. / A Comparison of Decision Procedures in Presburger Arithmetic. Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97). 1997.