liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Axiomatizing Fixpoint Logics
University of Warsaw.
1992 (English)In: Information Processing Letters, ISSN 0020-0190, E-ISSN 1872-6119, Vol. 41, no 4, 175-180 p.Article in journal (Refereed) Published
Place, publisher, year, edition, pages
Elsevier, 1992. Vol. 41, no 4, 175-180 p.
Keyword [en]
Formal semantics; programming calculi; logics of programs
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-74976DOI: 10.1016/0020-0190(92)90175-UOAI: oai:DiVA.org:liu-74976DiVA: diva2:499795
Available from: 2012-02-13 Created: 2012-02-13 Last updated: 2012-02-22

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
In the same journal
Information Processing Letters
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 86 hits
ReferencesLink to record
Permanent link

Direct link