Search
Feedback
About
Help
News
| Listing 1 - 2 of 2 |
Sort by
|
ISBN: 3540592008 3540492232 9783540592006 Year: 1995 Volume: 914 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop. The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.
Rewriting systems (Computer science) --- Computer programming --- Algorithms --- Congresses. --- Congresses --- Electronic digital computers --- Programming --- Computer science. --- Information theory. --- Software engineering. --- Logic design. --- Algebra --- Programming Languages, Compilers, Interpreters. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Data processing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Rewriting systems (Computer science) - Congresses. --- Computer programming - Congresses --- Algorithms - Congresses
ISBN: 3540493662 3540653880 Year: 1998 Volume: 1538 Publisher: Berlin ; Heidelberg ; New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Programming languages (Electronic computers). --- Computers. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence (incl. Robotics). --- Information theory. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
| Listing 1 - 2 of 2 |
Sort by
|