Choose an application

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

Natural language processing (Computer science) --- Artificial intelligence --- Text processing (Computer science) --- Natural language processing (Computer science) --- Artificial intelligence.

Choose an application

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

User interfaces (Computer systems) --- Natural language processing (Computer science) --- Computer graphics

Choose an application

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

Natural language processing (Computer science) --- Machine learning --- Artificial intelligence --- Human-computer interaction

Choose an application

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

Mathematical linguistics --- Artificial intelligence. Robotics. Simulation. Graphics --- Langue naturelle--Traitement des données (Informatique) --- Natural language processing (Computer science) --- Natuurlijke taal--Gegevensverwerking (Informatica) --- Discourse analysis --- Data processing --- Discourse analysis - Data processing.

Choose an application

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

This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic of this annual workshop, lieat the intersection of several important areas of computer science, suchas unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers fromthese different domains may present and discuss results and ideas, thereby supporting interaction and cross-fertilization between theoretical questions and practical applications. The volume collects papers which: - contain new and relevant results, - describe a new approach to a subject, or - give a survey of main developments in an area. Papers cover investigations on free groups, associative unification and Makanin's algorithm to decide the solvability of equations in free semigroups, general unification theory and its relationship to algebra and model theory, Thue systems, and finitely presented groups.

Group theory --- -Natural language processing (Computer science) --- -681.3*E1 --- 681.3*F4 --- 681.3*I23 --- Groups, Theory of --- Substitutions (Mathematics) --- Algebra --- Congresses --- Data structures: arrays; graphs; lists; tables; trees --- Mathematical logic and formal languages (Theory of computation) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Natural language processing (Computer science) --- 681.3*E1 --- Natural language processing (Computer science) - Congresses. --- Group theory - Congresses. --- Artificial intelligence. --- Logic, Symbolic and mathematical. --- Information theory. --- Computer science. --- Data structures (Computer scienc. --- Artificial Intelligence. --- Mathematical Logic and Foundations. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Data Structures. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- 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 --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism