A calculus and a system architecture for extensional higher-order resolution
Benzmüller, Christoph (1997): A calculus and a system architecture for extensional higher-order resolution, Pittsburgh, USA: Figshare, doi: 10.1184/r1/6476477.v1.
Faculty/Chair:
Author:
Corporate Body:
Carnegie Mellon University, Department of Mathematical Sciences
Publisher Information:
Year of publication:
1997
Pages:
Series ; Volume:
Research Report ; 97-198 June,1997
Language:
English
DOI:
Type:
Workingpaper
URI:
Activation date:
November 11, 2024

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/104526