Duality in specification languages: a lattice-theoretical approach

Back, R. J. R.; von Wright, J.

doi:10.1007/BF00259469

Record: found
Abstract: not found
Article: not found

Duality in specification languages: a lattice-theoretical approach

Author(s): R. J. R. Back , J. von Wright

Publication date Created: July 1990

Publication date (Print): July 1990

Journal: Acta Informatica

Publisher: Springer Science and Business Media LLC

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Acta Informatica

Abbreviated Title: Acta Informatica

Publisher: Springer Science and Business Media LLC

ISSN (Print): 0001-5903

ISSN (Electronic): 1432-0525

Publication date Created: July 1990

Publication date (Print): July 1990

Volume: 27

Issue: 7

Pages: 583-625

Article

DOI: 10.1007/BF00259469

SO-VID: 5399845b-6281-41ac-a9ea-2e6c71c241ab

License:

http://www.springer.com/tdm

History

Data availability:

Duality in specification languages: a lattice-theoretical approach

Read this article at

Related collections

African Languages

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 2,366

Cited by 3