Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | Type | |||||||
---|---|---|---|---|---|---|---|---|---|
|
| ||||||||
1993 | Experience with $FS_0$ as a Framework Theory In: Logical Environments, 61-82 | Part of a Book | |||||||
1993 | Metalogical Frameworks In: Logical Environments, 1-29 | Part of a Book | |||||||
1991 | The Boyer-Moore Prover and Nuprl: An Experimental Comparison In: Logical Frameworks, 90-119 | Proceedings Article | |||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
|
| ||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
|