Lecture Notes in Computer Science - Category Theory Applied to Computation and Control
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540071426, 9783540374268

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The algebraic theory of recursive program schemes

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_71 ◽

1975 ◽

pp. 126-131 ◽

Author(s):

R. M. Burstall ◽

J. W. Thatcher

Keyword(s):

Algebraic Theory ◽

Recursive Program

Download Full-text

Some structural properties of automata defined on groups

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_69 ◽

1975 ◽

pp. 112-118 ◽

Author(s):

Roger W. Brockett ◽

Alan S. Willsky

Keyword(s):

Structural Properties

Download Full-text

A Categorist's view of automata and systems

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_61 ◽

1975 ◽

pp. 51-64 ◽

Author(s):

M. A. Arbib ◽

E. G. Manes

Download Full-text

Automata in semimodule categories

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_81 ◽

1975 ◽

pp. 193-198 ◽

Author(s):

José Meseguer ◽

Ignacio Sols

Download Full-text

Automata in additive categories with applications to stochastic linear automata

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_70 ◽

1975 ◽

pp. 119-125

Author(s):

L. Budach

Download Full-text

On the recursive specification of data types

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_85 ◽

1975 ◽

pp. 214-217 ◽

Author(s):

Mitchell Wand

Keyword(s):

Download Full-text

Synthesis and complexity of logical systems

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_77 ◽

1975 ◽

pp. 170-173

Author(s):

Hans-Jürgen Hoehnke

Download Full-text

Diagram-characterization of recursion

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_73 ◽

1975 ◽

pp. 137-143 ◽

Author(s):

Hartmut Ehrig ◽

Wolfgang Kühnel ◽

Michael Pfender

Download Full-text

An abstract machine theory for formal language parsers

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_68 ◽

1975 ◽

pp. 106-111

Author(s):

David B. Benson

Keyword(s):

Formal Language ◽

Abstract Machine ◽

Download Full-text

Realization of multilinear and multidecomposable machines

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_63 ◽

1975 ◽

pp. 73-79

Author(s):

Brian D. O. Anderson ◽

Michael A. Arbib ◽

Ernest G. Manes

Download Full-text