The connection between two ways of reasoning about partial functions
type: Item
instance of: scholarly article
title: The connection between two ways of reasoning about partial functions
zbMATH Open document ID: 1186.68288
author: John S. Fitzgerald
author: Cliff B. Jones
published in: Information Processing Letters
publication date: 2010-04-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5694968
zbMATH Keywords: formal methods
zbMATH Keywords: specification languages
zbMATH Keywords: logic
zbMATH Keywords: partial functions
zbMATH Keywords: LPF
zbMATH Keywords: equality
describes a project that uses: mural
MaRDI profile type: Publication
full work available at URL: j.ipl.2008.02.005
OpenAlex ID: W2109325556
Wikidata QID: Q59597936
cites work: The B-Book
cites work: A logic covering undefinedness in program proofs
cites work: Q4296956
cites work: Q4342079
cites work: A set theory with support for partial functions
cites work: Q3405587
cites work: Q4003175
cites work: Q4002148
cites work: A typed logic of partial functions reconstructed classically
cites work: Q3997074
cites work: Reasoning about partial functions in the formal development of programs
cites work: Q5528627
cites work: Q5559220
DOI: 10.1016/J.IPL.2008.02.005
description: scientific article; zbMATH DE number 5694968