A first Order Logic for Partial Functions by means of Notational Conventions

Jan Kuper

Research output: Book/Report › Report › Professional

Original language	English
Place of Publication	Enschede
Publisher	University of Twente
Number of pages	22
Publication status	Published - 1990

Publication series

Name	Memoranda informatica
Publisher	University of Twente
ISSN (Print)	0924-3755

Cite this