Connecting logical representations and efficient computations

M Pollet, Volker Sorge

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages127-142
Number of pages16
DOIs
Publication statusPublished - 21 Mar 2006
Event12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2005), 18-19 July 2005, Newcastle-upon-Tyne -
Duration: 21 Mar 2006 → …

Conference

Conference12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2005), 18-19 July 2005, Newcastle-upon-Tyne
Period21/03/06 → …

Cite this