Sciweavers

Top Ranked Papers of 1994 on Artificial Intelligence | AISC

All ConferencesJELIAECAIAISCISMISAGPICTAIKIAISBAPN ... Explore AISC 1994 »

131

Voted

AISC
1994
Springer

134views Artificial Intelligence» more AISC 1994»

Using Commutativity Properties for Controlling Coercions

15 years 8 months ago

Using Commutativity Properties for Controlling Coercions

Download cg.cs.uni-bonn.de

This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...

Stephan A. Missura, Andreas Weber

claim paper

Read More »

Applied Computing

Artificial Intelligence

Automated Reasoning

Computational Biology

Computational Geometry

Computational Linguistics

Computer Architecture

Computer Graphics

Computer Networks

Computer Vision

Control Systems

Digital Library

Discrete Geometry

Distributed And Parallel Computing

Document Analysis

Emerging Technology

Human Computer Interaction

Image Processing

Information Technology

Intelligent Agents

Internet Technology

Knowledge Management

Logical Reasoning

Machine Learning

Modeling And Simulation

Natural Language Processing

Operating System

Programming Languages

Security Privacy

Social Sciences

Software Engineering

System Software

Theoretical Computer Science

Visual Languages

Artificial Intelligence