Existential quantifiers in abstract data types

M. Broy; W. Dosch; H. Partsch; P. Pepper; M. Wirsing

doi:10.1007/3-540-09510-1_7

Existential quantifiers in abstract data types

M. Broy
, W. Dosch
, H. Partsch
, P. Pepper
, M. Wirsing

TUM Emeriti of Excellence

Technical University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

34 Scopus citations

Abstract

Hierarchies of abstract data types are specified by axioms which are positive formulas consisting of universally and existentially quantified disjunctions and conjunctions of equations. Necessary and sufficient conditions for the existence of terminal algebras are investigated. Furthermore, some advantages of disjunctions and existential quantifiers within the laws are discussed and the usefulness of terminal algebras is demonstrated by a few examples.

Original language	English
Title of host publication	Automata, Languages and Programming - 6th Colloquium
Editors	Hermann A. Maurer
Publisher	Springer Verlag
Pages	73-87
Number of pages	15
ISBN (Print)	9783540095101
DOIs	https://doi.org/10.1007/3-540-09510-1_7
State	Published - 1979
Event	6th International Colloquium on Automata, Languages and Programming, ICALP 1979 - Graz, Austria Duration: 16 Jul 1979 → 20 Jul 1979

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	71 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Colloquium on Automata, Languages and Programming, ICALP 1979
Country/Territory	Austria
City	Graz
Period	16/07/79 → 20/07/79

Access to Document

10.1007/3-540-09510-1_7

Cite this

Broy, M., Dosch, W., Partsch, H., Pepper, P., & Wirsing, M. (1979). Existential quantifiers in abstract data types. In H. A. Maurer (Ed.), Automata, Languages and Programming - 6th Colloquium (pp. 73-87). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 71 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-09510-1_7

@inproceedings{26ada4d070314512a6058d602939c559,

title = "Existential quantifiers in abstract data types",

abstract = "Hierarchies of abstract data types are specified by axioms which are positive formulas consisting of universally and existentially quantified disjunctions and conjunctions of equations. Necessary and sufficient conditions for the existence of terminal algebras are investigated. Furthermore, some advantages of disjunctions and existential quantifiers within the laws are discussed and the usefulness of terminal algebras is demonstrated by a few examples.",

author = "M. Broy and W. Dosch and H. Partsch and P. Pepper and M. Wirsing",

note = "Publisher Copyright: {\textcopyright} 1979, Springer-Verlag Berlin Heidelberg. All Rights reserved.; 6th International Colloquium on Automata, Languages and Programming, ICALP 1979 ; Conference date: 16-07-1979 Through 20-07-1979",

year = "1979",

doi = "10.1007/3-540-09510-1\_7",

language = "English",

isbn = "9783540095101",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "73--87",

editor = "Maurer, \{Hermann A.\}",

booktitle = "Automata, Languages and Programming - 6th Colloquium",

}

Broy, M, Dosch, W, Partsch, H, Pepper, P & Wirsing, M 1979, Existential quantifiers in abstract data types. in HA Maurer (ed.), Automata, Languages and Programming - 6th Colloquium. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 71 LNCS, Springer Verlag, pp. 73-87, 6th International Colloquium on Automata, Languages and Programming, ICALP 1979, Graz, Austria, 16/07/79. https://doi.org/10.1007/3-540-09510-1_7

Existential quantifiers in abstract data types. / Broy, M.; Dosch, W.; Partsch, H. et al.
Automata, Languages and Programming - 6th Colloquium. ed. / Hermann A. Maurer. Springer Verlag, 1979. p. 73-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 71 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Existential quantifiers in abstract data types

AU - Broy, M.

AU - Dosch, W.

AU - Partsch, H.

AU - Pepper, P.

AU - Wirsing, M.

PY - 1979

Y1 - 1979

N2 - Hierarchies of abstract data types are specified by axioms which are positive formulas consisting of universally and existentially quantified disjunctions and conjunctions of equations. Necessary and sufficient conditions for the existence of terminal algebras are investigated. Furthermore, some advantages of disjunctions and existential quantifiers within the laws are discussed and the usefulness of terminal algebras is demonstrated by a few examples.

AB - Hierarchies of abstract data types are specified by axioms which are positive formulas consisting of universally and existentially quantified disjunctions and conjunctions of equations. Necessary and sufficient conditions for the existence of terminal algebras are investigated. Furthermore, some advantages of disjunctions and existential quantifiers within the laws are discussed and the usefulness of terminal algebras is demonstrated by a few examples.

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

U2 - 10.1007/3-540-09510-1_7

DO - 10.1007/3-540-09510-1_7

M3 - Conference contribution

AN - SCOPUS:85036663734

SN - 9783540095101

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 73

EP - 87

BT - Automata, Languages and Programming - 6th Colloquium

A2 - Maurer, Hermann A.

PB - Springer Verlag

T2 - 6th International Colloquium on Automata, Languages and Programming, ICALP 1979

Y2 - 16 July 1979 through 20 July 1979

ER -

Broy M, Dosch W, Partsch H, Pepper P, Wirsing M. Existential quantifiers in abstract data types. In Maurer HA, editor, Automata, Languages and Programming - 6th Colloquium. Springer Verlag. 1979. p. 73-87. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-09510-1_7

Existential quantifiers in abstract data types

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this