Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-12

Monadic BE-algebras

Seyed Yashar Zaheriani, Omid Zahiri

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

Retricted access

Research article

First published 2023-01-30

State monadic residuated lattices and their corresponding filters

Juntao Wang, Mengna Kang, Xuesong Fu [...]

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

Retricted access

Research article

First published 1985

On Enumerated Algebras and Some Monads in the Category of Enumerated Sets

Andrzej Orlicki

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

Re-Imagining Castoriadis’s Psychic Monad

Karl E. Smith

Thesis Eleven

Retricted access

Research article

First published 1999-8

Thue Specifications and Their Monadic Second-order Properties

Teodor Knapik, Hugues Calbrix

Fundamenta Informaticae

Retricted access

Research article

First published 2009-10-12

Achieving information flow security through monadic control of effects

William L. Harrison, James Hook

Journal of Computer Security

Retricted access

Research article

First published 2010-6

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Vince Bárány, Łukasz Kaiser, Alex Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 2009-5

The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach

Eugénie Foustoucos, Labrini Kalantzi

Fundamenta Informaticae

Retricted access

Research article

First published 2004-7

On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees,with Applications to the mu-Calculus

David Janin, Giacomo Lenzi

Fundamenta Informaticae

Retricted access

Research article

First published 2009-07

Evaluating the Monadic Democratic Peace

Stephen L. Quackenbush, Michael Rudy

Conflict Management and Peace Science

Search results