Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-8-9

A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem

Vesa Halava, Tero Harju, Esa Sahla

Fundamenta Informaticae

Retricted access

Research article

First published 1999-4

On the Decidability of Some Problems Concerning Morphisms,Regular Sets,and Post Correspondence Problem

Paavo Turakainen

Fundamenta Informaticae

Retricted access

Research article

First published 1998-2

Termination of Graph Rewriting is Undecidable

Detlef Plump

Fundamenta Informaticae

Retricted access

Research article

First published 2006-10

Undecidability in ω-Regular Languages

Vesa Halava, Tero Harju, Juhani Karhumäki

Fundamenta Informaticae

Retricted access

Research article

First published 2010-02

The Art of Balancing

Bernadette Kester

International Communication Gazette

Retricted access

Research article

First published 2021

Freeness Problem for Matrix Semigroups of Parikh Matrices

Wen Chean Teh, Adrian Atanasiu, Denis C.K. Wong

Fundamenta Informaticae

Retricted access

Research article

First published 2012-3

Buckling and post-buckling behaviour of semicircular functionally graded material arches: a theoretical study

A A Atai, A Nikranjbar, R Kasiri

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

Retricted access

Research article

First published 2019

Applying Modern SAT-solvers to Solving Hard Problems

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Freer but not free enough? Chinese journalists finding their feet in Africa

Iginio Gagliardone, Nyíri Pál

Journalism

Retricted access

Research article

First published 2001-5

Combining neural networks,fuzzy sets,and the evidence theory based techniques for detecting colour specks

A. Verikas, K. Malmqvist, M. Bacauskiene

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

Search results