Higher-Order Algebra, Logic, and Term Rewriting by Gilles Dowek
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Work, Life, and Society in a Sustainable, Intelligent Future
-
Computer Vision – ECCV 2026
-
Electronic Government
-
Latent Variable Analysis and Signal Separation
-
Algorithms in Bioinformatics
-
Computer Security - ESORICS 2010
-
Computer Aided Verification
-
HCI in Work and Learning, Life and Leisure
-
Automata, Languages and Programming
-
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
-
Euro-Par 2026: Parallel Processing
-
Parallel Problem Solving from Nature – PPSN XIX
-
Blockchain – ICBC 2026
-
Electronic Participation
-
Software Engineering and Advanced Applications
-
Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops
-
Document Analysis and Recognition – ICDAR 2026
-
Spatial Cognition XIV
-
Metaverse - METAVERSE 2026
| SKU | Unavailable |
| ISBN 13 | 9783540612544 |
| ISBN 10 | 3540612548 |
| Title | Higher-Order Algebra, Logic, and Term Rewriting |
| Author | Gilles Dowek |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1996-05-08 |
| Number of pages | 296 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |