Normal view MARC view ISBD view

Weak second-order arithmetic and finite automata from the Zeitschr. f. math. Logik und Grundlagen der Math. Bd. 6, S 66-92 (1960) J. Richard Buchi

By:

Publication details: Michigan University of Michigan 1960Description: 13 p 24 cmSubject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 6046 (Browse shelf(Opens below))	Available		0004565

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	II 6043 Sequence generators, graphs and formal languages from the Information and Control, vol. 5 (1962), p. 204-212	II 6044 Transition graphs and the star-height of regular events from the Michigan Mathematical Journal, vol, 10 (1963), pp. 385-297	II 6045 On a decision method in restricted second order arithmetic Symposium on decision problems	II 6046 Weak second-order arithmetic and finite automata from the Zeitschr. f. math. Logik und Grundlagen der Math. Bd. 6, S 66-92 (1960)	II 6047 Some results concerning boundary problems for partial differential equations inaugural dissertation	II 6049 The construction of a self-describing Turing machine reprinted from the Proceedings of the Symposium on Mathematical Theory of Automata, Polytechnic Institute of Brooklyn, april 24, 25, 26, 1962	II 605 Introduction to non-linear mechanics	Next

Contine bibliogr. - Legata impreuna cu alte lucrari ce constituie un volum legatoresc (Varia)

There are no comments on this title.

to post a comment.