Choose an application

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

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

Computer software --- Computer Science --- Engineering & Applied Sciences --- Verification --- Verification. --- Software verification --- Verification of software --- Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Logic design. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Special purpose computers --- Computers

Choose an application

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

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting.

Rewriting systems (Computer science) --- Computer programming --- Algorithms --- Congresses. --- Congresses --- Electronic digital computers --- Programming --- Computer science. --- Information theory. --- Software engineering. --- Artificial intelligence. --- Logic design. --- Mathematical Logic and Formal Languages. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- 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 --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer software engineering --- Engineering --- Rewriting systems (Computer science) - Congresses. --- Computer programming - Congresses --- Algorithms - Congresses

Choose an application

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

This Jubilee set of three volumes constitutes a condign tribute to Yaacov Choueka, a computer scientist, mathematician, computational linguist, and lexicographer: he is one of the founders of the fields of full-text information retrieval, computational linguistics, humanities computing, and legal databases. The three volumes (LNCS 8001–8003) comprise 61 chapters, and are each devoted to a broad theme. The focus of the first is computing, its theory, techniques, and applications to science or engineering; of the second - how computing serves the humanities, law, or narratives; of the third: linguistics, computational linguistics, and ontologies. The present second volume, Computing for the Humanities, Law, and Narratives, contains 19 chapters, clustered around the themes: Humanities Computing, Narratives and their Formal Representation, History of Ideas: The Numerate Disciplines, and Law, Computer Law, and Legal Computing.

Computer science. --- Computers. --- Information storage and retrieval. --- Artificial intelligence. --- Computational linguistics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Language Translation and Linguistics. --- Information Storage and Retrieval. --- Theory of Computation. --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- 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 --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Data processing --- Natural language processing (Computer science). --- Information storage and retrieva. --- Information theory. --- Artificial Intelligence. --- Natural Language Processing (NLP). --- Communication theory --- Communication --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Natural language processing (Computer science) --- Research.

Choose an application

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

Mathematical logic --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- programmeren (informatica) --- wiskunde --- software engineering --- logica --- robots

Choose an application

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

This Jubilee set of three volumes constitutes a condign tribute to Yaacov Choueka, a computer scientist, mathematician, computational linguist, and lexicographer: he is one of the founders of the fields of full-text information retrieval, computational linguistics, humanities computing, and legal databases. The three volumes (LNCS 8001–8003) comprise 61 chapters, and are each devoted to a broad theme. The focus of the first is computing, its theory, techniques, and applications to science or engineering; of the second - how computing serves the humanities, law, or narratives; of the third: linguistics, computational linguistics, and ontologies. The present second volume, Computing for the Humanities, Law, and Narratives, contains 19 chapters, clustered around the themes: Humanities Computing, Narratives and their Formal Representation, History of Ideas: The Numerate Disciplines, and Law, Computer Law, and Legal Computing.

Information retrieval --- Mathematical control systems --- Computer science --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- Translation science --- Linguistics --- IR (information retrieval) --- toegepaste informatica --- sociologie --- computers --- vertalen --- linguïstiek --- informatiesystemen --- KI (kunstmatige intelligentie) --- computerkunde --- robots --- informatietheorie --- gegevensverwerking