Fingerprint
Dive into the research topics of 'Quantifiers in logic and proof-search using permissive-nominal terms and sets'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Quantifiers in logic and proof-search using permissive-nominal terms and sets
Murdoch J. Gabbay*, Claus-Peter Wirth
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review