Towards an efficient representation of computational objects

M Pollet, Volker Sorge, B Konev, S Schulz

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	57-66
Number of pages	10
Publication status	Published - 1 Jan 2005
Event	Fifth Workshop on the Implementation of Logics - Duration: 1 Jan 2005 → …

Conference	Fifth Workshop on the Implementation of Logics
Period	1/01/05 → …

Cite this

@conference{6949cef89e904ff5ae5229b3a5b9fecf,

title = "Towards an efficient representation of computational objects",

author = "M Pollet and Volker Sorge and B Konev and S Schulz",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "57--66",

note = "Fifth Workshop on the Implementation of Logics ; Conference date: 01-01-2005",

}