Work

Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.

Year: 1986

Type: article

Source: SPLT

Authors: Mehmet Dincbas, Pascal Van Hentenryck

Language: French

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Seoul National University, National Research Foundation of Korea

Award: G3713903566

OpenAlex ID: W37905965

FWCI: 0.514

Cites:

Cited by: 1

Related to: 10