Adapting calculational logic to the undefined

Birgit Schieder; Manfred Broy

doi:10.1093/comjnl/42.2.73

Adapting calculational logic to the undefined

Birgit Schieder
, Manfred Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

Technical University of Munich

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Abstract

A logic that allows to handle partial functions and undefined terms is investigated. Plenty of logical calculi for partial functions are proposed. The extent of these calculi as convenient tools for computation is analyzed.

Original language	English
Pages (from-to)	73-81
Number of pages	9
Journal	Computer Journal
Volume	42
Issue number	2
DOIs	https://doi.org/10.1093/comjnl/42.2.73
State	Published - 1999

Access to Document

10.1093/comjnl/42.2.73

Cite this

@article{00e60983624a4455875b04c340431dcb,

title = "Adapting calculational logic to the undefined",

abstract = "A logic that allows to handle partial functions and undefined terms is investigated. Plenty of logical calculi for partial functions are proposed. The extent of these calculi as convenient tools for computation is analyzed.",

author = "Birgit Schieder and Manfred Broy",

year = "1999",

doi = "10.1093/comjnl/42.2.73",

language = "English",

volume = "42",

pages = "73--81",

journal = "Computer Journal",

issn = "0010-4620",

publisher = "Oxford University Press",

number = "2",

}

TY - JOUR

T1 - Adapting calculational logic to the undefined

AU - Schieder, Birgit

AU - Broy, Manfred

PY - 1999

Y1 - 1999

N2 - A logic that allows to handle partial functions and undefined terms is investigated. Plenty of logical calculi for partial functions are proposed. The extent of these calculi as convenient tools for computation is analyzed.

AB - A logic that allows to handle partial functions and undefined terms is investigated. Plenty of logical calculi for partial functions are proposed. The extent of these calculi as convenient tools for computation is analyzed.

UR - https://www.scopus.com/pages/publications/0032646726

U2 - 10.1093/comjnl/42.2.73

DO - 10.1093/comjnl/42.2.73

M3 - Article

AN - SCOPUS:0032646726

SN - 0010-4620

VL - 42

SP - 73

EP - 81

JO - Computer Journal

JF - Computer Journal

IS - 2

ER -

Adapting calculational logic to the undefined

Abstract

Access to Document

Other files and links

Fingerprint

Cite this