Guarded expressions in practice

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 1997, Pages 376-383

  Dolzmann, Andreas ^a   Sturm, Thomas ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTATIONAL METHODS; FORMAL LOGIC; HEURISTIC METHODS;

COMPUTER ALGEBRA SYSTEMS (CAS);

ALGEBRA;

EID: 0030702659     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258726.258851     Document Type: Conference Paper

References (21)