New Foundations for Fixpoint Computations

doi 10.1109/lics.1990.113771
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc. Press

Related search

Categories for Fixpoint-Semantics

1976English

Fixpoint Semantics for Active Integrity Constraints

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2018English

Methodology for a New Microeconomics: The Critical Foundations

Southern Economic Journal
EconomicsEconometrics
1986English

FixBag: A Fixpoint Calculator for Quantified Bag Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

New Horizons and Strong Foundations

Aotearoa New Zealand Social Work
2017English

Logical Information Theory: New Logical Foundations for Information Theory

Logic Journal of the IGPL
Philosophy
2017English

On Solving Nominal Fixpoint Equations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

MHD Computations for Stellarators

Computer Physics Reports
1986English

Lattice Computations for Random Numbers

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy