Search results: Sage Journals

Available accessResearch articleFirst published September, 2007

Bounded Model Checking for the Existential Fragment of TCTL _{-G} and Diagonal Timed Automata

Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae

Available accessResearch articleFirst published 2019

Alexis Bès, Christian Choffrut

Fundamenta Informaticae

Available accessBook reviewFirst published December, 2020

Francis Schüssler Fiorenza

Theological Studies

Available accessResearch articleFirst published May, 2016

Andrew F. Herrmann

International Review of Qualitative Research

Available accessResearch articleFirst published January, 2011

Juha Kontinen, Ville Nurmi

Fundamenta Informaticae

Available accessResearch articleFirst published June, 2010

Michał Knapik, Wojciech Penczek, Maciej Szreter [...]

Fundamenta Informaticae

Available accessResearch articleFirst published 2023

Mar Gil Álvarez, Gørill Haugan, Helena Larsson [...]

Journal of Humanistic Psychology

Available accessResearch articleFirst published March, 2015

Mariolina Graziosi

Current Sociology

Available accessResearch articleFirst published April, 1995

S.K. Chakraborty

Journal of Human Values

Available accessResearch articleFirst published 2022

Samson Abramsky

Fundamenta Informaticae