Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-6

Assessment of large automatically generated fault trees by means of binary decision diagrams

A. B. Rauzy, J Gauthier, X Leduc

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Free access

Research article

First published 2021-6-17

UCQ -Rewritings for disjunctive knowledge and queries with negated atoms

Enrique Matos Alfonso, Alexandros Chortaras, Giorgos Stamou

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Review article

First published 2011-2

G.B.R.K. Prasad,How to Choose Winning Stocks: Rewriting Formulas for Investment . New Delhi: Response Books,2010,111 pp. Rs.195 (ISBN: 978-81-321-0440-7 [Pb])

Sanjay Dhamija

Global Business Review

Free access

Research article

First published 1981-9

Effects of Document Simplification on the Reading Comprehension of the Elderly

Sean A. Walmsley, Kathleen M. Scott, Richard Lehrer

Journal of Literacy Research

Retricted access

Research article

First published 2022-11

Two-field variational formulations for a class of nonlinear mechanical models

Andaluzia Matei, Madalina Osiceanu

Mathematics and Mechanics of Solids

Open access

Research article

First published 2009-2

Solving Partial Order Constraints for LPO Termination

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2001-2

Strong Normalisation of Cut-Elimination in Classical Logic

C. Urban, G.M. Bierman

Fundamenta Informaticae

Retricted access

Research article

First published 1997-12

Modal Tableaux with Propagation Rules and Structural Rules

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2025-2

On the computational completeness of several descriptional complexity restrictions of semi-conditional grammars

Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele

Computability

Open access

Research article

First published 2024-5-14

Incremental schema integration for data wrangling via knowledge graphs

Javier Flores, Kashif Rabbani, Sergi Nadal [...]

Semantic Web: – Interoperability,Usability,Applicability

Search results