WorldCat Identities

University of Michigan Department of Philosophy

Overview
Works: 44 works in 61 publications in 1 language and 119 library holdings
Genres: Periodicals 
Classifications: B1, 100
Publication Timeline
.
Most widely held works about University of Michigan
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by University of Michigan
Meteorite : the student journal of philosophy from the University of Michigan( )

in English and held by 43 WorldCat member libraries worldwide

Application of logic to the design of computing machines. Final report by Arthur W Burks( Book )

3 editions published in 1959 in English and held by 17 WorldCat member libraries worldwide

This final report has two parts. In the first part, the results obtained on fixed automata are summarized. The detailed accound of these results can be found in the technical report, The Logic of Automata, (AFOSR TN 56-539, ASTIA AD 110-358) by Arthur W. Burks and Hao Wang. Results obtained on growing automata are summarized in the second part
On a problem of Tarski; technical note by J. Richard Büchi( )

2 editions published in 1960 in English and held by 3 WorldCat member libraries worldwide

Sequence generators and digital computers, technical report by Arthur W Burks( Book )

3 editions published in 1961 in English and held by 3 WorldCat member libraries worldwide

Contents: Introduction Sequence generators Special cases of sequence generators Reduced form algorithm Sequence generators with one projection Definitions Subset sequence generator operation Decision procedure Sequence generations with two projections Definitions The displacement operator and the l-shift operation Time-shift theorem Generalizations and applications Computation Formulas and sequence generators Sequence generators and conditions Sequence generators and regularity Infinite-sequence generators Probabilistic sequence generators
Inseparable sets and reductibility : technical note by Stanley Tennenbaum( Book )

2 editions published in 1961 in English and held by 3 WorldCat member libraries worldwide

Turing-machines and the entscheidungsproblem; technical report by J. Richard Büchi( )

3 editions published in 1961 in English and held by 3 WorldCat member libraries worldwide

A discussion of decision theory by use of Turingmachines is presented and is determined to be closely related to the quantification theory. Postulates are stated and application of sentence structure is examined by use of recursive logic methods
A logical theory of adaptive systems informally described by John H Holland( Book )

2 editions published in 1961 in English and held by 2 WorldCat member libraries worldwide

COMMUTATIVE MACHINES by Richard Laing( Book )

2 editions published in 1962 in English and held by 2 WorldCat member libraries worldwide

Certain commutative automata and their behavior are discussed. Characterizations of the class of machines under consideration are presented. Several associations are shown between this class of machines and a set of words, and a set of points. An association between a language for the set of words and the set of points is also shown. Some results about this language are presented, after which it is shown how machines can be constructed which realize the behavior expressed in this language. In conclusion, results and comments on the characteristics of commutative machines and their transition systems are given. (Author)
Research in automata structure, behavior, and design : final report by J. Richard Büchi( Book )

2 editions published in 1960 in English and held by 2 WorldCat member libraries worldwide

Computation, behavior, and structure in fixed and growing automata by Arthur W Burks( )

1 edition published in 1959 in English and held by 2 WorldCat member libraries worldwide

SEQUENCE GENERATORS AND FORMAL LANGUAGES by Arthur W Burks( Book )

2 editions published in 1961 in English and held by 2 WorldCat member libraries worldwide

The star-height of regular expressions : technical note by Lawrence C Eggan( Book )

2 editions published in 1962 in English and held by 2 WorldCat member libraries worldwide

Regular canonical systems and finite automata by J. Richard Büchi( Book )

2 editions published in 1959 in English and held by 2 WorldCat member libraries worldwide

Iterative circuit computers technical report by John H Holland( )

1 edition published in 1960 in English and held by 1 WorldCat member library worldwide

INSEPARABLE SETS AND REDUCIBILITY by S Tennenbaum( )

1 edition published in 1961 in English and held by 1 WorldCat member library worldwide

A construction of inseparable sets of a new type is presented. A rather curious application of these to the theory of machine reducibility is given as initiated by E. Post (Bull. Amer. Math. Soc., 50:281-316, (1944)). (Author)
Design algorithms in automata languages : final report( Book )

1 edition published in 1960 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.39 for Charles Ho ... to 0.94 for Sequence g ...)

Alternative Names

controlled identityUniversity of Michigan. College of Literature, Science, and the Arts

University of Michigan. College of Literature, Science, and the Arts. Department of Philosophy

University of Michigan. Dept. of Philosophy

Languages
English (53)