Sage Journals: Discover world-class research

Free access

Research article

First published 2018-1

A similarity analysis method of the non-isomorphism generalized module in product platform

Tiaoyu Lei, Weiping Peng, Jin Lei [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Open access

Research article

First published 2023-6

An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF

Evgeny Dantsin, Alexander Wolpert

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2009-4

Enumeration of kinematic chains and mechanisms

R Simoni, A P Carboni, D Martins

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2000-12

Representability of Pairing Relation Algebras Representability of Pairing Relation Algebras Depends on our Ontology

Agnes Kurucz, István Németi

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2

Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce

Hans Langmaack, Andrzej Salwicki

Fundamenta Informaticae

Retricted access

Research article

First published 2017

On Determining the AND-OR Hierarchy in Workflow Nets

Jacek Sroka, Jan Hidders

Fundamenta Informaticae

Retricted access

Research article

First published 2014-6

On Fast Heuristic Non-deterministic Algorithms and Short Heuristic Proofs

Dmitry Itsykson, Dmitry Sokolov

Fundamenta Informaticae

Retricted access

Other

First published 2013-3

Evaluation of left renal vein entrapment using multidetector computed tomography

Ahmet K Poyraz, Fatih Firdolas, Mehmet R Onur [...]

Acta Radiologica

Retricted access

Research article

First published 1992

λ -Representability of Integer,Word and Tree Functions

Małgorzata Madry

Fundamenta Informaticae

Search results