Search results: Sage Journals

Restricted accessResearch articleFirst published November, 2014

Quantitative Analysis of Lattice-valued Kripke Structures

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

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 2005

S Jeyaraman, A Tsourdos, R Zbikowski [...]

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Restricted accessResearch articleFirst published 1992

Melvin Fitting

Fundamenta Informaticae

Open accessResearch articleFirst published 2025

Giacomo Bonanno

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2007

Thierry Coquand

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1991

Melvin C. Fitting

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1991

Maciej Koutny

Fundamenta Informaticae

Restricted accessResearch articleFirst published May, 2008

Kurt Ranalter

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1992

Philippe Balbiani

Fundamenta Informaticae

Restricted accessResearch articleFirst published January, 2005

Radu Mardare, Corrado Priami

Fundamenta Informaticae