Filter Results

Select search scope: search across all journals or within the current journal

Search this journal

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

Investigations of properties of programs by means of the extended algorithmic logic II 1

Fundamenta Informaticae

Journal indexing and metrics

Journal Homepage Submission guidelines

Restricted access

Research article

First published online 1977

Investigations of properties of programs by means of the extended algorithmic logic II 1

Volume 1, Issue 1

https://doi.org/10.3233/FI-1977-1112

Abstract

Get full access to this article

View all access options for this article.

Browse journal

Current issue OnlineFirst All issues

Similar articles

Restricted access

Demanding applications in harsh environment – FeCrMnNiC amorphous equiatomic alloy thin film

Restricted access

The Elephant in the New Space Room: Risk Identification,Management,and Mitigation

Restricted access

Dissimilarity functions co-symmetry property: a focus on probability distributions with involutive negation

Restricted access

The Scope and Challenges for Deep Learning