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

Journals (0)

1-10 of 18 results for disjoint union

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Retricted access

Research article

First published 2014-2-20

Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Michael Backes, Cătălin Hriţcu, Matteo Maffei

Journal of Computer Security

Select article: Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator

Retricted access

Research article

First published 2010-11

Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator

Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch

Fundamenta Informaticae

Select article: The Fragmented Inclusion of Gender Equality in AU-EU Relations in Times of Crises

Open access

Research article

First published 2020-8

The Fragmented Inclusion of Gender Equality in AU-EU Relations in Times of Crises

Anna van der Vleuten, Anouka van Eerdewijk

Political Studies Review

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: Reflecting on Age Discrimination and Rights of the Elderly in the European Union and the Council of Europe

Retricted access

Research article

First published 2007-3

Reflecting on Age Discrimination and Rights of the Elderly in the European Union and the Council of Europe

Helen Meenan

Maastricht Journal of European and Comparative Law

Select article: Evolution of Gene Families Based on Gene Duplication,Loss,Accumulated Change,and Innovation

Retricted access

Research article

First published

Evolution of Gene Families Based on Gene Duplication,Loss,Accumulated Change,and Innovation

Damian Wójtowicz, Jerzy Tiuryn

Journal of Computational Biology

Select article: Relation-Algebraic Verification of Disjoint-Set Forests

Retricted access

Research article

First published 2024-07-23

Relation-Algebraic Verification of Disjoint-Set Forests

Walter Guttmann

Fundamenta Informaticae

Select article: ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS

Retricted access

Research article

First published 1995-8

ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS

Bernhard Gramlich

Fundamenta Informaticae

Select article: Moving Into the European Orbit

Retricted access

Other

First published 2003-06

Moving Into the European Orbit

Christian Lahusen

European Union Politics

Select article: PETRI NET MODULES

Retricted access

Research article

First published 2002-11

PETRI NET MODULES

Julia Padberg

Journal of Integrated Design and Process Science

1
2
10 / page

Article type

Publication date

Subjects

Access