Metric completion versus ideal completion

Theoretical Computer Science

Volumn 170, Issue 1-2, 1996, Pages 145-171

  Majster Cederbaum, Mila E ^a   Baier, Christel ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; RECURSIVE FUNCTIONS;

DE BAKKER AND ZUCKER CONCURRENCY MODEL; IDEAL COMPLETION; METRIC COMPLETION;

FORMAL LANGUAGES;

EID: 0030380006     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00262-6     Document Type: Article

References (18)