Equation solving using modal transition systems

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1990, Pages 108-117

  Larsen, Kim Guldstrand ^a   Liu, Xinxin ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES - ALGEBRA;

EQUATION SOLVING; MODAL TRANSITION SYSTEMS; PROCESS ALGEBRA;

COMPUTER METATHEORY;

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

References (29)