Computability of Digital Input Output Models
Year of publication: |
2011
|
---|---|
Authors: | Guzmán, J. |
Published in: |
Computational Economics. - Society for Computational Economics - SCE, ISSN 0927-7099. - Vol. 37.2011, 1, p. 1-11
|
Publisher: |
Society for Computational Economics - SCE |
Subject: | Effective procedure | Church’s thesis | Diophantine equations |
-
Showing the non-existence of solutions in systems of linear Diophantine equations
Hernando, Antonio, (2009)
-
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
Matiyasevich, Yuri, (2004)
- More ...
-
Fontela, E., (2003)
-
Barbados : statistical appendix
Guzmán, J., (1999)
- More ...