M. Bunder

Introducing N-Tree-Space: A Classification System for Knowledge Library Applications (2005)

Rayner, E., Piper, I. C, Bunder, M.

This paper identifies and defines the Knowledge Library Application (KLA) class. KLAs are an important class of information resource/knowledge management applications. It will be clear from the...

Introducing N-Tree-Space: A Classification System for Knowledge Library Applications (2005)

Rayner, E., Piper, I. C, Bunder, M.

This paper identifies and defines the Knowledge Library Application (KLA) class. KLAs are an important class of information resource/knowledge management applications. It will be clear from the...

Introducing N-Tree-Space: A Classification System for Knowledge Library Applications (2005)

Rayner, E., Piper, I. C, Bunder, M.

This paper identifies and defines the Knowledge Library Application (KLA) class. KLAs are an important class of information resource/knowledge management applications. It will be clear from the...

Introducing N-Tree-Space: A Classification System for Knowledge Library Applications (2005)

Rayner, E., Piper, I. C, Bunder, M.

This paper identifies and defines the Knowledge Library Application (KLA) class. KLAs are an important class of information resource/knowledge management applications. It will be clear from the...

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (1998)

Barendregt, H.P., Dekkers, W., Bunder, M.

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (1998)

Dekkers, W., Bunder, M., Barendregt, H.P.

Systems of illative combinatory logic complete for first-order propositional and predicate calculus (1993)

Dekkers, W., Bunder, M., Barendregt, H.P.