Publications | LTG

Publications

List
Filter

Export 4 results:

Sort by: Author Title Type [ Year

]

Filters: Author is Spescha, Daria [Clear All Filters]

2011

Spescha, D, Strahm T. 2011. Realizability in weak systems of explicit mathematics. Mathematical Logic Quarterly. 57(6):551-565.

2009

Spescha, D. 2009. Weak Systems of Explicit Mathematics.

Spescha, D, Strahm T. 2009. Elementary explicit types and polynomial time operations. Mathematical Logic Quarterly. 55:245–258.

2005

Spescha, D. 2005. ALOE – A Graphical Editor for OWL Ontologies.