Choose an application

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

681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- Programming

Choose an application

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

Programming --- Information systems --- Database management: security; integrity; protection--See also {?681.5*E5} --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- 681.3*H2 --- #TCPW:AGGR --- 681.3*D20 --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- Computerwetenschap--?*D20 --- Database management --- Object-oriented programming (Computer science)

Choose an application

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

Computer. Automation --- 681.3 --- $?$89/8 --- 681.3*A2 --- 681.3*B41 --- 681.3*D3 --- 681.3*B --- 681.3*B Hardware --- Hardware --- 681.3*D3 Programming languages --- Programming languages --- 681.3*A2 Reference (e.g., dictionaries, encyclopedias, glossaries) --- Reference (e.g., dictionaries, encyclopedias, glossaries) --- 681.3*B41 Data communications devices: processors; voice-, data-, image receivers; transmitters --- Data communications devices: processors; voice-, data-, image receivers; transmitters

Choose an application

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

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. 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 intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.

Computer science --- 681.3*H2 --- 681.3*D3 --- 681.3*F --- 681.3*I1 --- 681.3*I2 --- Database management: security; integrity; protection--See also {?681.5*E5} --- Programming languages --- Theory of computation --- Algebraic manipulation (Computing methodologies) --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F Theory of computation --- 681.3*D3 Programming languages --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Computer network architectures. --- Logic, Symbolic and mathematical. --- Computer science. --- Logic design. --- Combinatorics. --- Computer System Implementation. --- Mathematical Logic and Foundations. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Combinatorics --- Algebra --- Mathematical analysis --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- 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

Choose an application

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

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strategic Programme for Research and Development in Information Technology of the Commission of the European Communities). Their scope covers central themes in the area of parallel architectures and languages, including such topics as concurrent, object-oriented, logic and functional programming; MIMD, dataflow, inference and reduction machines; design and verification of parallel systems; VLSI, WSI and RISC architectures; performance evaluation, memory management, systolic arrays, applications and special purpose architectures. The five invited lectures present the state of the art and advanced developments in major research areas related to the topics of the conference. Of the more than 150 submitted papers, 45 were selected for presentation. Furthermore the program of PARLE '89 comprises presentations on the subprojects which together constitute ESPRIT project 415. Parallel architectures based on a variety of programming styles (object-oriented, logic, functional, dataflow) are represented in these overviews.

681.3*C1 --- 681.3*D3 --- 681.3*F3 --- 681.3*F4 --- Processor architectures (Computer systems organization) --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- 681.3*C1 Processor architectures (Computer systems organization) --- Parallel processing (Electronic computers) --- Computer architecture --- Congresses --- Computer network architectures. --- Computer science. --- Computer Communication Networks. --- Software engineering. --- Computer system performance. --- Computer System Implementation. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Programming Techniques. --- Operating systems (Computers). --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Computer software engineering --- Engineering --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Parallel processing (Electronic computers) - Congresses --- Computer architecture - Congresses