Found 4 Documents (Results 1–4)
Representing scope in intuitionistic deductions. (English) Zbl 0912.68188
MSC:
68T15
03B60
Filter Results by …
all
top 5
Author
- Adamatzky, Andrew I. (1)
- O’Hara, Kieron (1)
- Reichgelt, Han (1)
- Shadbolt, Nigel (1)
- Stone, Matthew T. (1)
- Takači, Aleksandar (1)
Serial
Software
- Nuprl (1)