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 (24)

Journals (0)

1-10 of 24 results for fixed-point semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: SOL: an exercise in defining a language

Retricted access

Research article

First published 1978

SOL: an exercise in defining a language

A. Maggiolo-Schettini, G. Uccella

Fundamenta Informaticae

Select article: FIX-POINT SEMANTICS FOR PROGRAMS IN DISTRIBUTIVE CATEGORIES

Retricted access

Research article

First published 1995-2

FIX-POINT SEMANTICS FOR PROGRAMS IN DISTRIBUTIVE CATEGORIES

Eric G. Wagner, Wafaa Khalil, R.F.C. Walters

Fundamenta Informaticae

Select article: Regular Extensions of Iterative Algebras and Metric Interpretations

Retricted access

Research article

First published 1981

Regular Extensions of Iterative Algebras and Metric Interpretations

Jan Bergstra, Jerzy Tiuryn

Fundamenta Informaticae

Select article: Stratified,Weak Stratified,and Three-Valued Semantics 1

Retricted access

Research article

First published 1990

Stratified,Weak Stratified,and Three-Valued Semantics 1

Melvin Fitting, Marion Ben-Jacob

Fundamenta Informaticae

Select article: Continuously generated fixed points in P ω 1

Retricted access

Research article

First published 1980

Continuously generated fixed points in P ω 1

Felipe Bracho

Fundamenta Informaticae

Select article: QUASI-METRICS AND THE SEMANTICS OF LOGIC PROGRAMS

Retricted access

Research article

First published 1997-1

QUASI-METRICS AND THE SEMANTICS OF LOGIC PROGRAMS

Anthony Karel Seda

Fundamenta Informaticae

Select article: BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

Retricted access

Research article

First published 1994-6

BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

J.W. de Bakker, E.P. de Vink

Fundamenta Informaticae

Select article: The ζ-Semantics: A Comprehensive Semantics for Functional Programs

Retricted access

Research article

First published 1997-9

The ζ-Semantics: A Comprehensive Semantics for Functional Programs

Olaf Chitil

Fundamenta Informaticae

Select article: Fair Derivations in Logic Programming: Operational and Greatest Fixpoint Semantics

Retricted access

Research article

First published 1987

Fair Derivations in Logic Programming: Operational and Greatest Fixpoint Semantics

Mohand-Areski Nait Abdallah

Fundamenta Informaticae

Select article: Parameterizations and Fixed-Point Operators on Control Categories

Retricted access

Research article

First published 2005-2

Parameterizations and Fixed-Point Operators on Control Categories

Yoshihiko Kakutani, Masahito Hasegawa

Fundamenta Informaticae

1
2
3
10 / page

Article type

Publication date

Subjects

Access