Work

Proceedings of the 9th European Symposium on Programming Languages and Systems

Year: 2000

Type: article

Source: Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B))

DOI: 10.1007/3-540-46425-5

Author: Gert Smolka

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2276754748

FWCI: 0.644

Cites:

Cited by: 1

Related to: 10