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

Journals (0)

1-10 of 49 results for denotational mathematics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing

Retricted access

Research article

First published 2009-2

Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing

Yingxu Wang

Fundamenta Informaticae

Select article: Preface: Cognitive Informatics,Cognitive Computing,and Their Denotational Mathematical Foundations (I)

Retricted access

Research article

First published 2009-2

Preface: Cognitive Informatics,Cognitive Computing,and Their Denotational Mathematical Foundations (I)

Yingxu Wang, Du Zhang, Shusaku Tsumoto

Fundamenta Informaticae

Select article: Preface: Cognitive Informatics,Cognitive Computing,and Their Denotational Mathematical Foundations (II)

Retricted access

Research article

First published 2009-3

Preface: Cognitive Informatics,Cognitive Computing,and Their Denotational Mathematical Foundations (II)

Yingxu Wang, Du Zhang, Shusaku Tsumoto

Fundamenta Informaticae

Select article: A Doctrine of Cognitive Informatics (CI)

Retricted access

Research article

First published 2009-2

A Doctrine of Cognitive Informatics (CI)

Yingxu Wang, Witold Kinsner, James A. Anderson [...]

Fundamenta Informaticae

Select article: WHY DENOTATIONAL?

Free access

Research article

First published 1996-11

WHY DENOTATIONAL?

Andrzej Blikle

Fundamenta Informaticae

Select article: PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Select article: An Assessment of Programming Styles: Assignment-Oriented Languages Versus Functional and Applicative Languages 1

Retricted access

Research article

First published 1986

An Assessment of Programming Styles: Assignment-Oriented Languages Versus Functional and Applicative Languages 1

Manfred Broy

Fundamenta Informaticae

Select article: Orthopairs: A Simple and Widely UsedWay to Model Uncertainty

Retricted access

Research article

First published 2011-4

Orthopairs: A Simple and Widely UsedWay to Model Uncertainty

Davide Ciucci

Fundamenta Informaticae

Select article: Concurrency Semantics in Continuation-Passing Style

Retricted access

Research article

First published 2017

Concurrency Semantics in Continuation-Passing Style

Eneia Nicolae Todoran, Nikolaos Papaspyrou

Fundamenta Informaticae

Select article: The language of mathematical problem posing: A comparison between England,U.S. and Singapore curricula

Open access

Research article

First published 2025-6

The language of mathematical problem posing: A comparison between England,U.S. and Singapore curricula

Christian Bokhove

Asian Journal for Mathematics Education

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access