Amanote Research
Register
Sign In
Linear Two-Sorted Arithmetic
doi 10.1017/cbo9781139031905.010
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Helmut Schwichtenberg
Stanley S. Wainer
Publisher
Cambridge University Press
Related search
Many-Sorted and Single-Sorted Algebras
Algebra Universalis
Number Theory
Logic
Algebra
The Cassowary Linear Arithmetic Constraint Solving Algorithm
ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
Arithmetic Sums That Determine Linear Characters on Γ(N)
Pacific Journal of Mathematics
Mathematics
On the Arithmetic and Homology of Algebras of Linear Type
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Sub-Linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Sorted Argumentation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Erratum To: Analyzing Restricted Fragments of the Theory of Linear Arithmetic
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Effective Bounds of Linear Series on Algebraic Varieties and Arithmetic Varieties
Journal für die Reine und Angewandte Mathematik
Mathematics
Applied Mathematics
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
