Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Active patterns
HTML
Details
Locations
Year:
1997
Type:
conference-paper
Source:
Lecture notes in computer science
DOI:
10.1007/3-540-63237-9_17
Author:
Martin Erwig
Institution:
FernUniversität in Hagen
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W2914943882
FWCI:
1.73
Cites:
12
Cited by:
30
Related to:
10