Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joe Hurd
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Pearl: The Termination Analysis of Terminator
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Using Unmanned Aerial Vehicles to Solve Some Civil Problems
Cases on Modern Computer Systems in Aviation
Using Maximal Independent Sets to Solve Problems in Parallel
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Using DEA-neural Network Approach to Solve Binary Classification Problems
Data Envelopment Analysis and Decision Science
Using Boolean Computation to Solve Some Problems From Ramsey Theory
The Mathematica Journal
Using Harmonic Mean to Solve Multi-Objective Linear Programming Problems
American Journal of Operations Research
Using Comparable Corpora to Solve Problems Difficult for Human Translators
How to Solve the World's Biggest Problems
Nature
Multidisciplinary
Using Stochastic Spiking Neural Networks on SpiNNaker to Solve Constraint Satisfaction Problems
Frontiers in Neuroscience
Neuroscience
Problems of Using Special Knowledge in Criminal Proceedings and Ways to Solve Them
Russian Journal of Legal Studies
