Connecting logical representations and efficient computations

M Pollet; Volker Sorge

doi:10.1016/j.entcs.2005.11.027

Connecting logical representations and efficient computations

M Pollet
, Volker Sorge

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	127-142
Number of pages	16
DOIs	https://doi.org/10.1016/j.entcs.2005.11.027
Publication status	Published - 21 Mar 2006
Event	12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2005), 18-19 July 2005, Newcastle-upon-Tyne - Duration: 21 Mar 2006 → …

Conference

Conference	12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2005), 18-19 July 2005, Newcastle-upon-Tyne
Period	21/03/06 → …

Access to Document

10.1016/j.entcs.2005.11.027

Cite this

@conference{64687b51577449f3b1e799f59a7eaf3e,

title = "Connecting logical representations and efficient computations",

author = "M Pollet and Volker Sorge",

year = "2006",

month = mar,

day = "21",

doi = "10.1016/j.entcs.2005.11.027",

language = "English",

pages = "127--142",

note = "12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2005), 18-19 July 2005, Newcastle-upon-Tyne ; Conference date: 21-03-2006",

}

TY - CONF

T1 - Connecting logical representations and efficient computations

AU - Pollet, M

AU - Sorge, Volker

PY - 2006/3/21

Y1 - 2006/3/21

U2 - 10.1016/j.entcs.2005.11.027

DO - 10.1016/j.entcs.2005.11.027

M3 - Paper

SP - 127

EP - 142

T2 - 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2005), 18-19 July 2005, Newcastle-upon-Tyne

Y2 - 21 March 2006

ER -