Sage Journals: Discover world-class research

Open access

Research article

First published 2006-2

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-4-9

Automated reasoning for equivalences in the applied pi calculus with barriers

Bruno Blanchet, Ben Smyth

Journal of Computer Security

Retricted access

Other

First published 2010-02

Perception of Affordances in Multi-Scale Dynamics as an Alternative Explanation for Equivalence of Analogical and Inferential Reasoning in Animals and Humans

Keith Davids, Duarte Araújo

Theory & Psychology

Retricted access

Research article

First published 1983-10

Reasons for the Decalage between Identity Conservation and Equivalence Conservation

Ron Gold

International Journal of Behavioral Development

Retricted access

Research article

First published 1998-4

Names,Equations,Relations: Practical Ways to Reason about new

Ian Stark

Fundamenta Informaticae

Open access

Research article

First published 2025

Does Media Framing of Election Results Affect Whether Voters Perceive Parties as Election Winners or Losers?

Thomas M Meyer, Katjana Gattermann

Political Studies

Open access

Research article

First published 2009-2

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2000-08

Spanish Adaptation of the Reasonsfor Living Inventory

Maria A. Oquendo, Enrique Baca-Gar Cia, Ruth Graver [...]

Hispanic Journal of Behavioral Sciences

Retricted access

Research article

First published 2006-12

Contact Algebras and Region-based Theory of Space: Proximity Approach – II

Georgi Dimov, Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Research article

First published 2015-6

Pseudo-Equivalent Groups and Linking

Shelby J. Haberman

Journal of Educational and Behavioral Statistics

Search results