Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-8

A polygons Boolean operations-based adaptive slicing with sliced data for additive manufacturing

Guoqiang Fu, Jianzhong Fu, Zhiwei Lin [...]

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

Free access

Research article

First published 2016-9

Accurate modeling of logarithmic spiral bevel gear based on the tooth flank formation and Boolean addition operation

Tieming Xiang, Lizhi Gu, Leilei Xiao

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

Retricted access

Research article

First published 2007-1

Modal-Like Operators in Boolean Lattices,Galois Connections and Fixed Points

Jouni Järvinen, Michiro Kondo, Jari Kortelainen

Fundamenta Informaticae

Retricted access

Research article

First published 2006-5

Di-Algebraic Semantics of Logics

A. Mani

Fundamenta Informaticae

Retricted access

Research article

First published 2009-1

Rough Set Algebras as Description Domains

Jānis Cīrulis

Fundamenta Informaticae

Retricted access

Research article

First published 2010-3

Matrix Graph Grammars with Application Conditions

Pedro Pablo Pérez Velasco, Juan de Lara

Fundamenta Informaticae

Retricted access

Research article

First published 2013-9

On Language Equations with One-sided Concatenation

Franz Baader, Alexander Okhotin

Fundamenta Informaticae

Retricted access

Research article

First published 2018-8-26

On A-subsets in lattice implication algebras

Xiqing Long, Yi Liu, Yang Xu

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2016

Constrained Expressions and their Derivatives

Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart

Fundamenta Informaticae

Open access

Research article

First published 2011-11

Generating and Searching Families of FFT Algorithms

Steve Haynal, Heidi Haynal

Journal on Satisfiability,Boolean Modelling and Computation

Search results