skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Uniform Strong Normalization for Multi-Discipline Calculi.

Abstract

Abstract not provided.

Authors:
; ; ; ;
Publication Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
1505261
Report Number(s):
SAND2018-3266C
661849
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Conference
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

Citation Formats

Johnson-Freyd, Philip Alden, Ariola, Zena, Downen, Paul, Johnson-Freyd, Philip Alden, and Ariola, Zena M. Uniform Strong Normalization for Multi-Discipline Calculi.. United States: N. p., 2018. Web.
Johnson-Freyd, Philip Alden, Ariola, Zena, Downen, Paul, Johnson-Freyd, Philip Alden, & Ariola, Zena M. Uniform Strong Normalization for Multi-Discipline Calculi.. United States.
Johnson-Freyd, Philip Alden, Ariola, Zena, Downen, Paul, Johnson-Freyd, Philip Alden, and Ariola, Zena M. Thu . "Uniform Strong Normalization for Multi-Discipline Calculi.". United States. https://www.osti.gov/servlets/purl/1505261.
@article{osti_1505261,
title = {Uniform Strong Normalization for Multi-Discipline Calculi.},
author = {Johnson-Freyd, Philip Alden and Ariola, Zena and Downen, Paul and Johnson-Freyd, Philip Alden and Ariola, Zena M.},
abstractNote = {Abstract not provided.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2018},
month = {3}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: