Subtype inequalities

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1992, Pages 308-315

  Tiuryn, Jerzy ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES;

SATISFIABILITY PROBLEM; SUBTYPE INEQUALITIES;

FORMAL LOGIC;

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

References (6)