Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Multiple object representations
HTML
Details
Locations
Year:
1992
Type:
conference-paper
Source:
ACM Annual Conference on Computer Science (CSC)
DOI:
10.1145/131214.131239
Authors:
G. T. Nguyen,
D. Rieu
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W2090334738
FWCI:
1.038
Cites:
26
Cited by:
13
Related to:
10