Discrimination by parallel observers

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 396-407

  Dezani Ciancaglini, Mariangiola ^a   Tiuryn, Jerzy ^a   Urzyczyn, Pawel ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; THEOREM PROVING;

CONCURRENT LAMBDA CONTEXT; LAMBDA CALCULUS;

COMPUTATIONAL LINGUISTICS;

EID: 0030652177     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)