Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-8-3

Combinatorial principles equivalent to weak induction

Caleb Davis, Denis R. Hirschfeldt, Jeffry Hirst [...]

Computability

Free access

Research article

First published 2020-2

Investigation of strengthening effect on the machining rigidity in longitudinal torsional ultrasonic milling of thin-plate structures

Chenjun Wu, Shijin Chen, Kai Cheng [...]

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

Retricted access

Research article

First published 2014-12

A Specification Format for Rooted Branching Bisimulation

Valentina Castiglioni, Ruggero Lanotte, Simone Tini

Fundamenta Informaticae

Retricted access

Research article

First published 2020-04-30

Fuzzy weak hyper deductive systems of hyper equality algebras and their measures

Yongwei Yang, Kuanyun Zhu, Xiaolong Xin

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

Retricted access

Research article

First published 2012-9

On the Strength of Weak Compactness

Alexander P. Kreuzer

Computability

Retricted access

Research article

First published 1997-4

On the Decidability of Non-Interleaving Process Equivalences

Astrid Kiehn, Matthew Hennessy

Fundamenta Informaticae

Retricted access

Research article

First published 1983-10

Prospective Mathematical Equivalence by Gender: Still More Inadvertent Support

Norman H. Freed

Psychological Reports

Retricted access

Research article

First published 2009-3

The Simultaneous Effect of Social Distance and Physical Distance on the Formation of Neighborhood Ties

John R. Hipp, Andrew J. Perrin

City & Community

Retricted access

Research article

First published 2017-8-9

Alphabets of Acyclic Invariant Structures

Ryszard Janicki, Jetty Kleijn, Maciej Koutny [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1996-4

UNDECIDABILITY OF LANGUAGE EQUIVALENCE FOR GENERALIZED REGULAR EXPRESSIONS

Yoram Hirshfeld

Fundamenta Informaticae

Search results