You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

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

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (199)

Journals (0)

1-10 of 199 results for program algebra

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Logic Programming from the Perspective of Algebraic Semantics

Free access

Research article

First published 1996-11

Logic Programming from the Perspective of Algebraic Semantics

Jan A. Plaza

Fundamenta Informaticae

Select article: Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs

Retricted access

Research article

First published 2009-6

Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs

Anatoliy Doroshenko, Olena Yatsenko

Fundamenta Informaticae

Select article: SAT as a Programming Environment for Linear Algebra

Retricted access

Research article

First published 2010-7

SAT as a Programming Environment for Linear Algebra

Marian Srebrny, Lidia Stepień

Fundamenta Informaticae

Select article: Algebraic Foundations of Logic Programming,I: The Distributive Lattice of Logic Programs

Retricted access

Research article

First published 1990

Algebraic Foundations of Logic Programming,I: The Distributive Lattice of Logic Programs

Anil Hirani, V.S. Subrahmanian

Fundamenta Informaticae

Select article: Logic Programming Representation of the Compound Term Composition Algebra

Retricted access

Research article

First published 2006-10

Logic Programming Representation of the Compound Term Composition Algebra

Anastasia Analyti, Ioannis Pachoulakis

Fundamenta Informaticae

Select article: Relation-Algebraic Verification of Disjoint-Set Forests

Retricted access

Research article

First published 2024-07-23

Relation-Algebraic Verification of Disjoint-Set Forests

Walter Guttmann

Fundamenta Informaticae

Select article: Fixed-points and algebras with infinitely long expressions: Part I. Regular algebras

Retricted access

Research article

First published 1978

Fixed-points and algebras with infinitely long expressions: Part I. Regular algebras

Jerzy Tiuryn

Fundamenta Informaticae

Select article: Maurer Computers with Single-Thread Control

Retricted access

Research article

First published 2007-11

Maurer Computers with Single-Thread Control

Jan A. Bergstra, Cornelis A. Middelburg

Fundamenta Informaticae

Select article: A Propositional Programming Environment for Linear Algebra

Retricted access

Research article

First published 2007-11

A Propositional Programming Environment for Linear Algebra

Marian Srebrny, Lidia St�pień

Fundamenta Informaticae

Select article: Towards a Formal Representation of Interactive Systems

Retricted access

Research article

First published 2014-6

Towards a Formal Representation of Interactive Systems

Iulia Teodora Banu-Demergian, Gheorghe Stefanescu

Fundamenta Informaticae

1
2
3
•••
20
10 / page

Article type

Publication date

Subjects

Access