Choose an application

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

Frames (Information theory) --- Logic --- Automatic theorem proving --- #KVIV:BB --- 681.3*F1 --- 681.3*F4 --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Data structures (Computer science) --- Information theory --- Computation by abstract devices --- Mathematical logic and formal languages (Theory of computation) --- Methodology --- Automatic theorem proving. --- Logic. --- Frames (Information theory). --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F1 Computation by abstract devices

Choose an application

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

The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.

Algebra --- -Computer software --- -681.3 *C2 --- 681.3*D1 --- 681.3*D2 --- 681.3*D3 --- 681.3*F3 --- Software, Computer --- Computer systems --- Mathematics --- Mathematical analysis --- Congresses --- Development --- -Congresses --- Computer communication networks: data communications; OSI; security and protection --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Computer software --- Congresses. --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- 681.3 *C2 --- Development&delete& --- Algebra. --- Mathematics. --- Data structures (Computer scienc. --- Software engineering. --- Computer science. --- Applications of Mathematics. --- Data Structures and Information Theory. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Computer software engineering --- Engineering --- Math

Choose an application

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

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.

Computer software --- 681.3*D1 --- 681.3*F1 --- 681.3*F3 --- Programming techniques--See also {681.3*E} --- Computation by abstract devices --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F1 Computation by abstract devices --- 681.3*D1 Programming techniques--See also {681.3*E} --- Congresses --- Computer software - Congresses. --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Programming Techniques. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer software - Congresses

Choose an application

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

CAiSE '91, held at the Norwegian Institute of Technology in May 1991, is the third in a series of conferences on advanced information systems engineering. The call for papers for CAiSE '91 was given a wide international distribution. The programme committee was chosen from very well reputed researchers in the international information systems engineering community, as well as key professionals in European industrial and consultant companies. The number and quality of papers submitted was very satisfactory, and 29 papers were selected for publication in this volume.

Computer-aided software engineering --- -681.3*D2 --- CASE (Computer science) --- Software engineering --- Congresses --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D2 --- Computer-aided software industry --- Computer-aided software industry - Congresses. --- Information theory. --- Computer science. --- Theory of Computation. --- Models and Principles. --- Information Systems Applications (incl. Internet). --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics

Choose an application

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

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming presents a rich world of interconnections. Topics covered in this volume include the following. Type theory: stratification of types and propositions can be discussed in a categorical setting. Domain theory: synthetic domain theory develops domain theory internally in the constructive universe of the effective topos. Linear logic: the reconstruction of logic based on propositions as resources leads to alternatives to traditional syntaxes. The proceedings of the previous three category theory conferences appear as Lecture Notes in Computer Science Volumes 240, 283 and 389.

Categories (Mathematics) --- Computer science --- Congresses. --- -Computer science --- -681.3*D21 --- 681.3*D31 --- 681.3*D33 --- 681.3*F3 --- 681.3*F41 --- Informatics --- Science --- Congresses --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Mathematics. --- Information theory. --- Logic design. --- Computer science. --- Software engineering. --- Mathematics, general. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Math