Work

A Complete Axiomatization of Strict Equality

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-12251-4_10

Authors: Javier Álvez, Francisco J. López-Fraguas

Institutions: Universidad Complutense de Madrid, University of the Basque Country

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1587437946

FWCI:

Cites: 18

Cited by:

Related to: 10