Uniform Strong Normalization for Multi-Discipline Calculi.
Conference
·
OSTI ID:1505261
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1505261
- Report Number(s):
- SAND2018-3266C; 661849
- Resource Relation:
- Conference: Proposed for presentation at the 12th International Workshop on Rewriting Logic and Applications held April 14-15, 2018 in Thessaloniki, Macedonia, Greece.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Abstracting models of strong normalization for classical calculi
Multi-scale Network Anomaly Detection Using Normalized Entropy Metrics.
ABHP Certification -- Radiation Disciplines.
Journal Article
·
Sat Feb 01 00:00:00 EST 2020
· Journal of Logical and Algebraic Methods in Programming
·
OSTI ID:1505261
Multi-scale Network Anomaly Detection Using Normalized Entropy Metrics.
Conference
·
Sat Jul 01 00:00:00 EDT 2006
·
OSTI ID:1505261
ABHP Certification -- Radiation Disciplines.
Conference
·
Mon Jul 01 00:00:00 EDT 2013
·
OSTI ID:1505261