Choose an application

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

Petri nets --- Machine theory --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Congresses --- Congrès --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Congrès --- Computer science. --- Information theory. --- Mathematics. --- Computer software. --- Logic design. --- Computation by Abstract Devices. --- Theory of Computation. --- Mathematics, general. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Processor Architectures. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems --- Math --- Science --- Communication theory --- Communication --- Cybernetics --- Informatics

Choose an application

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

Integrated circuits --- Logic design --- Very large scale integration --- Design and construction --- Mathematical models --- Logic design. --- Circtuis intégrés à très grande échelle --- Structure logique --- Mathematical models. --- Conception et construction --- Modèles mathématiques --- Design, Logic --- Design of logic systems --- Chips (Electronics) --- Circuits, Integrated --- Computer chips --- Microchips --- Very large scale integration&delete& --- Design and construction&delete& --- Structure logique. --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electronic circuits --- Microelectronics --- Integrated circuits - Very large scale integration - Design and construction - Mathematical models

Choose an application

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

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.

Computer science --- Informatique --- Congresses --- Congrès --- -681.3*F --- 681.3*G2 --- 681.3*I1 --- 681.3*I35 --- Informatics --- Science --- Theory of computation --- Discrete mathematics (Mathematics of computing) --- Algebraic manipulation (Computing methodologies) --- Computational geometry and object modeling (Computer graphics) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*F Theory of computation --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- Congrès --- 681.3*F --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics

Choose an application

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

This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.

Machine theory --- Parallel processing (Electronic computers) --- Automates mathématiques, Théorie des --- Parallélisme (Informatique) --- Congresses --- Congrès --- -Parallel processing (Electronic computers) --- -681.3*D13 --- 681.3*D3 --- 681.3*F12 --- 681.3*F3 --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Concurrent programming --- Programming languages --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D3 Programming languages --- 681.3*D13 Concurrent programming --- Automates mathématiques, Théorie des --- Parallélisme (Informatique) --- Congrès --- Machine theory - Congresses. --- Parallel processing (Electronic computers) - Congresses. --- Computer science. --- Information theory. --- Mathematics. --- Logic design. --- Computation by Abstract Devices. --- Theory of Computation. --- Mathematics, general. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Math --- Science --- Communication theory --- Communication --- Cybernetics --- Informatics --- -Congresses --- Concurrency

Choose an application

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

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

Computer science --- Logic, Symbolic and mathematical --- Informatique --- Logique symbolique et mathématique --- Mathematics --- Congresses --- Mathématiques --- Congrès --- 681.3*H2 --- -Logic, Symbolic and mathematical --- -681.3*D3 --- 681.3*I2 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Database management: security; integrity; protection--See also {?681.5*E5} --- -Congresses --- Programming languages --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*D3 Programming languages --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Logique symbolique et mathématique --- Mathématiques --- Congrès --- 681.3*D3 --- Mathematics&delete& --- Logic [Symbolic and mathematical ] --- Computer science - Mathematics - Congresses. --- Logic, Symbolic and mathematical - Congresses. --- Artificial intelligence. --- Software engineering. --- Logic design. --- Computer science. --- Artificial Intelligence. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers