Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

Computer science --- 681.3*D33 --- 681.3*F0 --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Computerwetenschap--?*F0 --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Information theory. --- Computer science. --- Theory of Computation. --- Computation by Abstract Devices. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*I210 --- Vision and scene understanding: architecture and control structures; motion; perceptual reasoning (Artificial intelligence)-- See also {681.3*I48}; {681.3*I5} --- Artificial intelligence --- Expert systems (Computer science) --- Congresses. --- 681.3*I210 Vision and scene understanding: architecture and control structures; motion; perceptual reasoning (Artificial intelligence)-- See also {681.3*I48}; {681.3*I5} --- Computer science --- Mathematical logic --- Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- Operating systems (Computers) --- Systèmes d'exploitation (Ordinateurs) --- 681.3*D33 --- 681.3*D4 --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Operating systems--See also {681.3*C} --- Operating systems --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Systèmes d'exploitation (Ordinateurs)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Fifth generation computers. --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Fifth generation computers --- Parallel programming (Computer science) --- 681.3*D13 --- 681.3*D33 --- 681.3*D13 Concurrent programming --- Concurrent programming --- Computer programming --- Parallel processing (Electronic computers) --- Computers --- Artificial intelligence --- Parallel programming (Computer science).

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical Cybernetics). This volume contains selected contributions to the following fields: Mathematical Models of Computation, Synthesis and Complexity of Control Systems, Probabilistic Computations, Theory of Programming, Computer-Assisted Deduction. The volume reflects the fact that FCT '87 was organized in the USSR: A wide range of problems typical of research in Mathematical Cybernetics in the USSR is comprehensively represented.

Computer science --- 681.3*B1 --- 681.3*F0 --- 681.3*H0 --- Control structures and microprogramming--(hardware) --- Computerwetenschap--?*F0 --- Computerwetenschap--?*H0 --- 681.3*B1 Control structures and microprogramming--(hardware) --- Computer science. --- Computer network architectures. --- Logic, Symbolic and mathematical. --- Computer software. --- Combinatorics. --- Computation by Abstract Devices. --- Computer System Implementation. --- Mathematical Logic and Foundations. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Combinatorics --- Algebra --- Mathematical analysis --- Software, Computer --- Computer systems --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Informatique --- Mathématiques --- Mathématiques. --- Mathématiques.