Search results

Articles (6)

Journals (0)

1-6 of 6 results for non-deterministic algorithmic logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 1980

Model existence theorem in algorithmic logic with non-deterministic programs 1

Grażyna Mirkowska

Fundamenta Informaticae

Retricted access

Research article

First published 2014-3

Hiroshi Sakai, Mao Wu, Michinori Nakata

Fundamenta Informaticae

Retricted access

Research article

First published 2014-7

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Retricted access

Research article

First published 2016-7

Shuihua Wang, Zeyuan Lu, Ling Wei [...]

SIMULATION

Retricted access

Research article

First published 2013-9

Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye [...]

Computability

Retricted access

Research article

First published 2025-8

Jianing Zhao, Keyi Zhu, Mingyang Feng [...]

The International Journal of Robotics Research