Decision procedure for term algebras with queues

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 279-290

  Rybina, Tatiana ^a   Voronkov, Andrei ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE AXIOMATIZATION; FIRST ORDER THEORY; SOFTWARE VERIFICATION; TERM ALGEBRA;

ALGEBRA; COMPUTER SOFTWARE; DATA STRUCTURES; DECISION THEORY; FORMAL LANGUAGES; QUEUEING THEORY;

COMPUTABILITY AND DECIDABILITY;

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

References (22)