Systems and Computer Science
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By University Of Toronto Press

9781487592769

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concerning an Algebraic Theory of Systems

Systems and Computer Science ◽

10.3138/9781487592769-012 ◽

1967 ◽

pp. 232-248 ◽

Cited By ~ 1

Author(s):

Thomas G. Windeknecht

Keyword(s):

Algebraic Theory

Download Full-text

Heuristic and Complete Processes in The Mechanization of Theorem Proving

Systems and Computer Science ◽

10.3138/9781487592769-009 ◽

1967 ◽

pp. 116-124 ◽

Cited By ~ 1

Author(s):

J.A. Robinson

Keyword(s):

Theorem Proving

Download Full-text

On the Structure of Finite Automata

Systems and Computer Science ◽

10.3138/9781487592769-003 ◽

1967 ◽

pp. 1-13

Author(s):

J. Hartmanis

Keyword(s):

Finite Automata

Download Full-text

REFERENCES

Systems and Computer Science ◽

10.3138/9781487592769-013 ◽

1967 ◽

pp. 249-249

Download Full-text

An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus

Systems and Computer Science ◽

10.3138/9781487592769-010 ◽

1967 ◽

pp. 125-220 ◽

Cited By ~ 2

Author(s):

Saul Amarel

Keyword(s):

Problem Solving ◽

Theorem Proving ◽

Heuristic Problem Solving

Download Full-text

Explicit Definitions and Linguistic Dominoes

Systems and Computer Science ◽

10.3138/9781487592769-008 ◽

1967 ◽

pp. 77-115 ◽

Cited By ~ 5

Author(s):

Saul Corn

Download Full-text

Multiple Control Computer Models

Systems and Computer Science ◽

10.3138/9781487592769-007 ◽

1967 ◽

pp. 60-76

Author(s):

C.C. Elgot ◽

A. Robinson ◽

J.D. Rutledge

Keyword(s):

Computer Models ◽

Multiple Control ◽

Control Computer

Download Full-text

Some Comments on Self-Reproducing Automata

Systems and Computer Science ◽

10.3138/9781487592769-006 ◽

1967 ◽

pp. 42-59 ◽

Cited By ~ 2

Author(s):

Michael A. Arbib

Download Full-text

Techniques for Manipulating Regular Expressions

Systems and Computer Science ◽

10.3138/9781487592769-005 ◽

1967 ◽

pp. 27-41 ◽

Cited By ~ 2

Author(s):

Robert McNaughton

Keyword(s):

Regular Expressions

Download Full-text

Synthesis of Sequential Machines

Systems and Computer Science ◽

10.3138/9781487592769-004 ◽

1967 ◽

pp. 14-26

Author(s):

J. A. Brozowski

Keyword(s):

Sequential Machines

Download Full-text