Work

A Unification Algorithm for Concurrent Prolog.

Year: 1984

Type: conference-paper

Author: Jacob Levy

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W51089177

FWCI: 1.488

Cites:

Cited by: 11

Related to: 10