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

Journals (0)

1-10 of 35 results for fixpoint

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: ω -Rule and Continuity on Connections Between Algebraic Semantics,Fixpoint Semantics and Algorithmic Logic

Retricted access

Research article

First published 1984

ω -Rule and Continuity on Connections Between Algebraic Semantics,Fixpoint Semantics and Algorithmic Logic

Patrice Enjalbert

Fundamenta Informaticae

Select article: ON NATURAL DEDUCTION IN FIRST-ORDER FIXPOINT LOGICS

Retricted access

Research article

First published 1996-4

ON NATURAL DEDUCTION IN FIRST-ORDER FIXPOINT LOGICS

Andrzej Szalas

Fundamenta Informaticae

Select article: A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Retricted access

Research article

First published 2003-5

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Linh Anh Nguyen

Fundamenta Informaticae

Select article: Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science

Retricted access

Research article

First published 1987

Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science

Irène Guessarian

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: The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Retricted access

Research article

First published 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange, Etienne Lozes

Fundamenta Informaticae

Select article: Fixpoints and relative precompleteness

Retricted access

Research article

First published 2022-5-13

Fixpoints and relative precompleteness

Anton Golov, Sebastiaan A. Terwijn

Computability

Select article: Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

Retricted access

Research article

First published 2007-9

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

Joost Vennekens, Johan Wittocx, Maarten Mariën [...]

Fundamenta Informaticae

Select article: Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Retricted access

Research article

First published 2007-9

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Joost Vennekens, Johan Wittocx, Maarten Mariën [...]

Fundamenta Informaticae

Select article: Semi-Inflationary DATALOG: A declarative database language with procedural features

Retricted access

Research article

First published 2005-5

Semi-Inflationary DATALOG: A declarative database language with procedural features

Antonella Guzzo, Domenico Saccà

The European Journal on Artificial Intelligence

1
2
3
4
10 / page

Article type

Publication date

Subjects

Access