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

Journals (0)

1-10 of 17 results for Axiomatisation

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels

Retricted access

Research article

First published 2006-5

Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels

Attila Sali, Klaus-Dieter Schewe

Fundamenta Informaticae

Select article: A Categorical Axiomatisation of Region-Based Geometry

Retricted access

Research article

First published 2001-5

A Categorical Axiomatisation of Region-Based Geometry

Brandon Bennett

Fundamenta Informaticae

Select article: On Axiomatizability of the Multiplicative Theory of Numbers

Retricted access

Research article

First published 2018

On Axiomatizability of the Multiplicative Theory of Numbers

Saeed Salehi

Fundamenta Informaticae

Select article: Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

Retricted access

Research article

First published 2018-1-31

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

Elisabeth Pelz

Fundamenta Informaticae

Select article: On Inferences of Full First-Order Hierarchical Decompositions

Retricted access

Research article

First published 2011-1

On Inferences of Full First-Order Hierarchical Decompositions

Sebastian Link

Fundamenta Informaticae

Select article: Axiomatizable Classes in Many-Sorted Logics of Programs

Retricted access

Research article

First published 1985

Axiomatizable Classes in Many-Sorted Logics of Programs

Wktor Danko

Fundamenta Informaticae

Select article: First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Retricted access

Research article

First published 2011-1

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Francesco Belardinelli, Alessio Lomuscio

Fundamenta Informaticae

Select article: PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION

Retricted access

Research article

First published 1996-8

PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION

J.A. Bergstra, Gh. Ştefănescu

Fundamenta Informaticae

Select article: Risk in a simple temporal framework for expected utility theory and for SKAT,the Stages of Knowledge Ahead Theory

Retricted access

Research article

First published 2010-2

Risk in a simple temporal framework for expected utility theory and for SKAT,the Stages of Knowledge Ahead Theory

Robin Pope, Reinhard Selten

Risk and Decision Analysis

Select article: On Inferences ofWeak Multivalued Dependencies

Retricted access

Research article

First published 2009-5

On Inferences ofWeak Multivalued Dependencies

Sven Hartmann, Sebastian Link

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access