Bibliographic Details
| Title: |
Note on the generalization of calculations |
| Authors: |
Matthias Baaz |
| Source: |
Theoretical Computer Science. 224:3-11 |
| Publisher Information: |
Elsevier BV, 1999. |
| Publication Year: |
1999 |
| Subject Terms: |
Primality, calculation tree, unification, Generalization, Fermat number, Calculation, 0102 computer and information sciences, 06 humanities and the arts, Symbolic computation and algebraic computation, 0603 philosophy, ethics and religion, 01 natural sciences, Theoretical Computer Science, Mechanization of proofs and logical operations, Basic properties of first-order languages and structures, abstract calculation, abstractions of calculation steps, Factorization, primality, Abstract and axiomatic computability and recursion theory, Computer Science(all) |
| Description: |
zbMATH Open Web Interface contents unavailable due to conflicting licenses. |
| Document Type: |
Article |
| File Description: |
application/xml |
| Language: |
English |
| ISSN: |
0304-3975 |
| DOI: |
10.1016/s0304-3975(98)00304-1 |
| Access URL: |
https://www.sciencedirect.com/science/article/pii/S0304397598003041
https://dblp.uni-trier.de/db/journals/tcs/tcs224.html#Baaz99 |
| Rights: |
Elsevier Non-Commercial |
| Accession Number: |
edsair.doi.dedup.....2d0bc5f02b39545ff6daa11a8f8b6d1f |
| Database: |
OpenAIRE |