Search results: Sage Journals

Available accessResearch articleFirst published January, 2007

Relative Nondeterministic Information Logic is EXPTIME-complete

Stéphane Demri, Ewa Orłowska

Fundamenta Informaticae

Available accessResearch articleFirst published 2016

Linh Anh Nguyen

Fundamenta Informaticae

Available accessResearch articleFirst published December, 2014

Linh Anh Nguyen, Joanna Golińska-Pilarek

Fundamenta Informaticae

Available accessResearch articleFirst published January 19, 2023

Riccardo Gozzi, Daniel Graça

Computability

Available accessResearch articleFirst published April, 2013

Jakub Chaloupka

Fundamenta Informaticae

Available accessResearch articleFirst published December, 2000

Stéphane Demri, Jarosław Stepaniuk

Fundamenta Informaticae

Available accessResearch articleFirst published November, 2002

Stéphane Demri, Ulrike Sattler

Fundamenta Informaticae

Available accessResearch articleFirst published March 1, 2015

Qiang Gao, Xinhe Xu

ICGA Journal: The Journal of the Computer Games Community

Available accessResearch articleFirst published September, 2003

Franz Baader, Jan Hladik, Carsten Lutz [...]

Fundamenta Informaticae

Available accessResearch articleFirst published July, 2010

Linh Anh Nguyen, Andrzej Szałas

Fundamenta Informaticae