Sage Journals: Discover world-class research

Retricted access

Research article

First published 2025-5

Tensions and experimentation in setting,extending and enforcing working conditions: case studies of labour clauses in public procurement

Jens Arnholtz, Karen Jaehrling, Trine Pernille Larsen [...]

Transfer: European Review of Labour and Research

Open access

Research article

First published 2010-5

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2013-8

A Resolution Calculus for First-order Schemata

Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier

Fundamenta Informaticae

Retricted access

Research article

First published 2001-2

Elementary Complexity and Geometry of Interaction

Patrick Baillot, Marco Pedicini

Fundamenta Informaticae

Retricted access

Article commentary

First published 2020-2

Deriving the bodily grounding of living beings with molecular autopoiesis

Eran Agmon

Adaptive Behavior

Retricted access

Research article

First published 2016-9

BCASP and the Evolution of School Psychology in British Columbia

Douglas J. Agar

Canadian Journal of School Psychology

Retricted access

Research article

First published 2019-3-25

Mixed logical and probabilistic reasoning in the game of Clue

Todd W. Neller, Ziqian Luo

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 1981-9

The Act of Settlement and the Employment of Aliens

Keven Booker, George Winterton

Federal Law Review

Retricted access

Research article

First published 1996-06

More on the Origins of the Fuller Court's Jurisprudence: Reexamining the Scope of Federal Power Over Commerce and Manufacturing in Nineteenth-Century Constitutional Law

Howard Gillman

Political Research Quarterly

Retricted access

Research article

First published 2014-7-11

StatVerif: Verification of stateful processes

Myrto Arapinis, Joshua Phillips, Eike Ritter [...]

Journal of Computer Security

Search results