A process specification formalism
Fundamenta Informaticae
Fundamenta Informaticae
Tolerance approximation spaces
Fundamenta Informaticae - Special issue: rough sets
Algebraic aspects of attribute dependencies in information systems
Fundamenta Informaticae
A new version of the rule induction system LERS
Fundamenta Informaticae
Modal logics for local and global similarity relations
Fundamenta Informaticae
Fundamenta Informaticae
Towards a framework for approximate ontologies
Fundamenta Informaticae
The Modal Query Language MDatalog
Fundamenta Informaticae
The Completeness of Typing for Context-Semantics
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Discrete Dualities for Heyting Algebras with Operators
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
A Note on Forcing and Type Theory
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
A Framework for Graded Beliefs, Goals and Intentions
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Structures with Multirelations, their Discrete Dualities and Applications
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
A Local Version of the MLEM2 Algorithm for Rule Induction
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Local Computations on Triangular Graphs
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Approximation Spaces in Rough-Granular Computing
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Hi-index | 0.00 |