Works matching DE "AUTOMATH (Formal language)"

Results: 7

One-sided random context grammars.

Published in:

Acta Informatica, 2011, v. 48, n. 3, p. 149, doi. 10.1007/s00236-011-0134-y

By:

Meduna, Alexander;
Zemek, Petr

Publication type:

Article

A comparison of two systems of ordinal notations.

Published in:

Archive for Mathematical Logic, 2004, v. 43, n. 1, p. 65, doi. 10.1007/s00153-003-0177-z

By:

Simmons, Harold

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2005, v. 16, n. 4, p. 623, doi. 10.1142/S0129054105003194

By:

Calude, Cristian S.

Publication type:

Article

Expertise in symbol-referent mapping.

Published in:

Behavioral & Brain Sciences, 2009, v. 32, n. 3/4, p. 338, doi. 10.1017/S0140525X09990793

By:

Grabner, Roland H.

Publication type:

Article

Concrete magnitudes: From numbers to time.

Published in:

Behavioral & Brain Sciences, 2009, v. 32, n. 3/4, p. 335, doi. 10.1017/S0140525X09990045

By:

Falter, Christine M.;
Noreika, Valdas;
Kiverstein, Julian;
Mölderd, Bruno

Publication type:

Article

The case for a notation-independent representation of number.

Published in:

Behavioral & Brain Sciences, 2009, v. 32, n. 3/4, p. 333, doi. 10.1017/S0140525X09990033

By:

Dehaene, Stanislas

Publication type:

Article

ADAPTING COMPUTATIONAL DATA STRUCTURES TECHNOLOGY TO REASON ABOUT INFINITY.

Published in:

Mathematics & Computer Education, 2004, v. 38, n. 1, p. 69

By:

Goldberg, Robert;
Hammerman, Natalie

Publication type:

Article