Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. C. Bradfield
Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Related publications
On the Arithmetic and Geometry of Binary Hamiltonian Forms
Algebra and Number Theory
Number Theory
Algebra
Arithmetic With Binary-Encoded Balanced Ternary Numbers
Arithmetic Progressions in Binary Quadratic Forms and Norm Forms
Bulletin of the London Mathematical Society
Mathematics
Faster Binary Arithmetic Operations on Encrypted Integers
Power and Delay Comparison of Binary and Quaternary Arithmetic Circuits
Verification of Arithmetic Circuits Using Binary Moment Diagrams
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Intermediate Phases in Binary Systems of Technetium-99 With Several Transition Elements
Journal of the Less Common Metals
A Practical Concurrent Binary Search Tree
ACM SIGPLAN Notices
Computer Science
Comparing Transition Systems With Independence and Asynchronous Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
