Narrow your search

Library

KU Leuven (3)

UAntwerpen (2)

UCLouvain (1)

UGent (1)

VUB (1)


Resource type

book (3)


Language

English (2)

German (1)


Year
From To Submit

1973 (3)

Listing 1 - 3 of 3
Sort by
1. Fachtagung über Automatentheorie und Formale Sprachen ; : Bonn, 9-12 Juli 1973
Authors: --- ---
ISBN: 354006527X 354037826X Year: 1973 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- 681.3*F11 --- 681.3*F43 --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Computer programming. --- Computers. --- Mathematical logic. --- Programming Techniques. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory

Listing 1 - 3 of 3
Sort by