Search results: Sage Journals

Available accessResearch articleFirst published March, 2002

A Complete Axiomatization of Process Temporal Logic

Magdalena Kacprzak

Fundamenta Informaticae

Available accessResearch articleFirst published January, 2011

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Available accessResearch articleFirst published January, 2008

Michael Kaminski

Fundamenta Informaticae

Available accessResearch articleFirst published 2016

Hui-Xian Shi, Yong-Ming Li

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

Available accessResearch articleFirst published May, 2010

Michel Ludwig, Ullrich Hustadt

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published December, 2024

Goshu Wolde Tefera, Alan Gamlen

Progress in Human Geography

Available accessResearch articleFirst published May, 2006

Claudio Castellini

The European Journal on Artificial Intelligence

Retricted accessResearch articleFirst published 1988

Wojciech Penczek

Fundamenta Informaticae

Available accessResearch articleFirst published November, 2007

Vladimir V. Rybakov

Fundamenta Informaticae

Free accessResearch articleFirst published February, 2006

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics