NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Synchronous set relations in rewriting logic
External Source
chorus
Document Type
Version of Record
Authors
Camilo Rocha
César Muñoz
Date Acquired
October 19, 2026
Publication Information
Publication: Science of Computer Programming
Publisher: Elsevier BV
Volume: 92
Issue Publication Date: October 1, 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.07.008
Funding Number(s)
funding: NNL09AA00A
funding: CCF09-05584
funding: CCF09-05584
Distribution Limits
Public

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
Document Not Available for PreviewClick to Access Document