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

Jan Kuper

Research output: Contribution to journal › Article › Professional

Keywords

@article{1a124eb9e81c4d5b826ce89ed25bc8f7,

title = "A first Order Logic for Partial Functions by means of Notational Conventions",

keywords = "METIS-121614",

author = "Jan Kuper",

year = "1990",

language = "Undefined",

volume = "0",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "12",

}