Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-12

Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Steffen van Bakel

Fundamenta Informaticae

Retricted access

Research article

First published 2019

The Duality of Classical Intersection and Union Types

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundamenta Informaticae

Retricted access

Research article

First published 2019-10-09

Intersection and union of non-normal fuzzy sets using aggregation functions

Hsien-Chung Wu

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2020-8

Understanding the European Union as a Global Gender Actor: The Holistic Intersectional and Inclusive Study of Gender+ in External Actions

Petra Debusscher, Ian Manners

Political Studies Review

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

Retricted access

Research article

First published 2012-12

Strong Normalization in the π-calculus with Intersection and Union Types

Mauro Piccolo

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

On the State Complexity of Star of Union and Star of Intersection

Galina Jirásková, Alexander Okhotin

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Towards a Logic for Union Types

Yiorgos Stavrinos, Anastasia Veneti

Fundamenta Informaticae

Retricted access

Research article

First published 2011-6

State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata

Michal Kunc, Alexander Okhotin

Fundamenta Informaticae

Retricted access

Research article

First published 2014-4

On fuzzy bipolar soft sets,their algebraic structures and applications

Munazza Naz, Muhammad Shabir

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Search results