Sage Journals: Discover world-class research

Open access

Research article

First published 2007-2

Disequality Management in Integer Difference Logic via Finite Instantiations 1

Hyondeuk Kim, Hoonsang Jin, Fabio Somenzi

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018

Constraint Logic Programming with Polynomial Constraints over Finite Domains

Federico Bergenti, Stefania Monica, Gianfranco Rossi

Fundamenta Informaticae

Retricted access

Research article

First published 2007-12

The Dynamics of Associative Learning in Evolved Model Circuits

Phattanard Phattanasri, Hillel J. Chiel, Randall D. Beer

Adaptive Behavior

Retricted access

Research article

First published 2005-2

Defending Bosanquet's Philosophical Theory of the State: A Reassessment of the ‘Bosanquet-Hobhouse Controversy’ 1

Stamatoula Panagakou

The British Journal of Politics and International Relations

Retricted access

Research article

First published 1989-12

What does hypertext offer the information scientist?

Lizzie Davenport, Blaise Cronin

Journal of Information Science

Retricted access

Research article

First published 1997-2

Abstraction Processes in Artificial Grammar Learning

David R. Shanks, Theresa Johnstone, Leo Staggs

Quarterly Journal of Experimental Psychology

Retricted access

Research article

First published 2009-03

Knowledge of A/A'-dependencies on subject extraction with two types of infinitives in non-native Portuguese adult bilingualism

Jason Rothman

International Journal of Bilingualism

Open access

Research article

First published 2007-2

On Solving Boolean Combinations of UTVPI Constraints

Sanjit A. Seshia, K. Subramani, Randal E. Bryant

Journal on Satisfiability,Boolean Modelling and Computation

Search results