Work

An ordering linear unification algorithm

Year: 1989

Type: article

Source: Journal of Computer Science and Technology

DOI: 10.1007/bf02943985

Author: Yunfa Hu

Institution: Changsha Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2092343141

FWCI:

Cites: 3

Cited by:

Related to: 10