Faculty of Engineering, Environment & Computing

Research Output

Meeting Abstract

Satisfiability Checking and Symbolic Computation

Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M. & Sturm, T., Dec 2016, In : ACM Communications in Computer Algebra. 50, 4, p. 145-147

Research output: Contribution to journalMeeting Abstract

Open Access
2 Citations (Scopus)
54 Downloads (Pure)
Open Access
10 Downloads (Pure)

Sources and processes of nitrogen along the lower Jordan River

Segal-Rozenhaimer, M., Holtzman, R., Shaviv, A., Vengosh, A., Farber, E., Gavrieli, I., Bullen, T., Mayer, B. & Shavit, U., Aug 2002, In : Geochimica et Cosmochimica Acta. 66, 15A, p. A695 1 p.

Research output: Contribution to journalMeeting Abstract