Search results: Sage Journals

Restricted accessResearch articleFirst published March, 2002

A Complete Axiomatization of Process Temporal Logic

Magdalena Kacprzak

Fundamenta Informaticae

Restricted accessResearch articleFirst published January, 2011

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Restricted accessResearch articleFirst published January, 2008

Michael Kaminski

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2016

Hui-Xian Shi, Yong-Ming Li

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

Restricted accessResearch articleFirst published May, 2010

Michel Ludwig, Ullrich Hustadt

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2006

Claudio Castellini

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published December, 2024

Goshu Wolde Tefera, Alan Gamlen

Progress in Human Geography

Restricted accessResearch articleFirst published 1988

Wojciech Penczek

Fundamenta Informaticae

Restricted 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