Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-12

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density

Luis Fariñas del Cerro, Olivier Gasquet

Fundamenta Informaticae

Retricted access

Research article

First published 2020-9

Embodied tableaux: A drama method for social work arts-based research

Christine Mayor

Qualitative Social Work

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 1985

Quadratic-Time Optimization of SPJ-Expressions Including Inequality Selections by Tableaux

Alois Peter Heinz, Gottfried Vossen

Fundamenta Informaticae

Retricted access

Research article

First published 2009-6

An Efficient Tableau Prover using Global Caching for the Description Logic ALC

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2008-12

From Newtonian dynamics to sparse Tableaux formulation and multi-body dynamics

N V Orlandea

Proceedings of the Institution of Mechanical Engineers,Part K: Journal of Multi-body Dynamics

Retricted access

Research article

First published 2020

Combinatorial Algorithms for Binary Operations on LR-tableaux with Entries Equal to 1 with Applications to Nilpotent Linear Operators

Mariusz Kaniecki, Justyna Kosakowska

Fundamenta Informaticae

Retricted access

Research article

First published 1993

Tableaux Versus Resolution a Comparison

W.M.J. Ophelders, H.C.M. De Swart

Fundamenta Informaticae

Retricted access

Research article

First published 2016

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Review article

First published 1936-02

Operettas,Tableaux,Miscellaneous

Music Educators Journal

Search results