Original language | English |
---|---|
Publication status | Published - 2007 |
MoE publication type | I2 ICT software |
lpeq 1.19 - A tool for testing the modular equivalence of logic programs
Research output: Artistic and non-textual form › Software › Scientific
Research output: Artistic and non-textual form › Software › Scientific
Original language | English |
---|---|
Publication status | Published - 2007 |
MoE publication type | I2 ICT software |