Translating Logic Programs into Difference Logic

Research output: Artistic and non-textual formSoftwareScientific

Researchers

Research units

Details

Original languageEnglish
Edition1.23
Publication statusPublished - 2009
MoE publication typeI2 ICT software

ID: 3932164