Relational account of call-by-value sequentiality

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 258-267

  Riecke, Jon G ^a   Sandholm, Anders ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; FORMAL LOGIC; FUNCTIONS; THEOREM PROVING;

CALL BY VALUE SEQUENTIALITY;

FORMAL LANGUAGES;

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

References (35)