Subsumption Computed Algebraically

Brink, Chris; Schmidt, Renate A.

doi:10.1016/0898-1221(92)90146-9

Local TagsRelease HistoryDetailsSummary

Subsumption Computed Algebraically

Brink, C., & Schmidt, R. A. (1992). Subsumption Computed Algebraically. Computers & Mathematics with Applications, 23(2-5), 329-342. doi:10.1016/0898-1221(92)90146-9.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-000E-4D7C-2 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-A44E-2

Genre: Journal Article

Files

show Files

Locators

show

hide

Locator:
https://doi.org/10.1016/0898-1221(92)90146-9 (Publisher version) Open Access status unknown

Description:
Under an Elsevier User License

OA-Status:
Not specified

Creators

show

hide

Creators:
Brink, Chris¹, Author
Schmidt, Renate A.², Author

Affiliations:
1External Organizations, ou_persistent22
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 1992

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1016/0898-1221(92)90146-9
BibTex Citekey: Brink-Schmidt_CMA92

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Computers & Mathematics with Applications

Other : Comput. Math. Appl.

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Oxford, UK : Pergamon-Elsevier Science Ltd

Pages: - Volume / Issue: 23 (2-5) Sequence Number: - Start / End Page: 329 - 342 Identifier: ISSN: 0898-1221
CoNE: https://pure.mpg.de/cone/journals/resource/954928591984