PSEUDO-DIVISION MACHINE (I): A MODEL OF SYMBOLIC COMPUTATION.

Subjects

Subjects :

TURING machines
ALGORITHMS
COMPUTATIONAL complexity
MATHEMATICS theorems
MATHEMATICAL models

Details

Language :

English

ISBNs :

9789812380487

Database :

Complementary Index

Journal :

Mathematical Software - Proceedings of the First International Congress of Mathematical Software

Publication Type :

Conference

Accession number :

129109485