Label | Dataset | Type | Subdivision | Identifier | |
---|---|---|---|---|---|
1. | Lauer, Peter E., 1934- Functional programming, concurrency, simulation and automated reasoning Berlin; New York: Springer-Verlag; c1993 |
BIBFRAME Instances |
Instance | 645667 | |
2. | ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd : 2005 : Tallinn, Estonia) MERLIN '05 New York, NY: Association for Computing Machinery; c2005 |
BIBFRAME Instances |
Instance | 14313240 | |
3. | ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd : 2005 : Tallinn, Estonia) MERLIN '05 |
BIBFRAME Works |
Work Text Monograph |
14313240 | |
4. | Functional programming, concurrency, simulation and automated reasoning |
BIBFRAME Works |
Work Text Monograph |
645667 | |
5. | Schmid, U. (Ute) Inductive synthesis of functional programs Berlin; New York: Springer; c2003 |
BIBFRAME Instances |
Instance | 13280931 | |
Do you need assistance with your search?