Unique representations of integers using increasing sequences von Bunder, Martin W.

Volltext

On binary reflected Gray codes and functions von Bunder, Martin W., Tognetti, Keith P., Wheeler, Glen E.

Volltext

Products and Powers, Powers and Exponentiations von Bunder, Martin W.

Volltext

Horadam Functions and Powers of Irrationals von Bunder, Martin W.

Volltext

Self Matching in ⌊ n α von Bunder, Martin W.

Volltext

Some Rough Consequence Logics and their Interrelations von Bunder, Martin W., Banerjee, Mohua, Chakraborty, Mihir K.

Volltext

Are there Hilbert-style Pure Type Systems? von Bunder, M. W., Dekkers, W. M. J.

Volltext

Variants of the basic calculus of constructions von Bunder, M.W., Seldin, Jonathan P.

Volltext

On adding (ξ) to weak equality in combinatory logic von Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P.

Volltext

Combinatory abstraction using B, B′ and friends von Trigg, Peter, Hindley, J.Roger, Bunder, Martin W.

Volltext

1992 Annual Meeting of the Australasian Association for Logic von Slaney, John, Bunder, Martin W.

Volltext

Weaker D-Complete Logics von MEGILL, NORMAN D., BUNDER, MARTIN W.

Volltext

Implementing the ‘Fool's model’ of combinatory logic von Meyer, Robert K., Bunder, Martin W., Powers, Lawrence

Volltext

On adding xi to weak equality in combinatory logic von Bunder, Martin W, Hindley, J Roger, Seldin, Jonathan P

Volltext

Rough Consequence and other Modal Logics von Bunder, Martin

Volltext

Security analysis of michael : The IEEE 802.11i message integrity code von JIANYONG HUANG, SEBERRY, Jennifer, SUSILO, Willy, BUNDER, Martin

Volltext

Pure type systems with more liberal rules von Bunder, Martin, Dekkers, Wil

Volltext

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic von Dekkers, Wil, Bunder, Martin, Barendregt, Henk

Volltext

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus von Dekkers, Wil, Bunder, Martin, Barendregt, Henk

Volltext

Systems of illative combinatory logic complete for first-order propositional and predicate calculus von Barendregt, Henk, Bunder, Martin, Dekkers, Wil

Volltext