Search results: Sage Journals

Available accessResearch articleFirst published January, 2011

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Available accessResearch articleFirst published 2016

Hui-Xian Shi, Yong-Ming Li

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

Free accessResearch articleFirst published August, 2012

Henrikas Pranevicius, Stanislovas Norgėla

Informatica: An International Journal of Computing and Informatics

Available accessResearch articleFirst published November, 2007

Vladimir V. Rybakov

Fundamenta Informaticae

Retricted accessResearch articleFirst published October, 1998

Girish Bhat, Doron Peled

Fundamenta Informaticae

Available accessResearch articleFirst published November, 2014

Haiyu Pan, Min Zhang, Hengyang Wu [...]

Fundamenta Informaticae

Retricted accessResearch articleFirst published July, 2020

Cristian Ioan Vasile, Xiao Li, Calin Belta

The International Journal of Robotics Research

Available accessResearch articleFirst published August 9, 2017

Artur Męski, Maciej Koutny, Wojciech Penczek

Fundamenta Informaticae

Available accessResearch articleFirst published February, 2016

Wanshui Ling, Jiaquan Yang, Jingxi Zou

Journal of Computational Methods in Sciences and Engineering

Retricted accessResearch articleFirst published August, 2019

Bruno Lacerda, Fatma Faruq, David Parker [...]

The International Journal of Robotics Research