Integrating Computational Properties at the Term Level

Martin Pollet, Volker Sorge, T Hardin, R Rioboo

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2003
Event	11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - Duration: 1 Jan 2003 → …

Conference	11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Period	1/01/03 → …

Cite this

@conference{bbfc13b049e04f74ab219258105c1c3f,

title = "Integrating Computational Properties at the Term Level",

author = "Martin Pollet and Volker Sorge and T Hardin and R Rioboo",

year = "2003",

month = jan,

day = "1",

language = "English",

note = "11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning ; Conference date: 01-01-2003",

}