Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 31, Number 5, 1994

A typed logic of partial functions reconstructed classically
pp. 399-399(1)
Authors: Jones, C. B.; Middelburg, C. A.

Favourites:
ADD
Favourites:
ADD

On problems with short certificates
pp. 479-479(1)
Author: Farr, G.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more