Alfredo Burrieza, Manuel Ojeda-Aciego A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:68, n:1-2, pp:21-46 [Journal]
Eugene Eberbach $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:68, n:1-2, pp:47-102 [Journal]
Mark-Oliver Stehr The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:68, n:1-2, pp:131-174 [Journal]
Józef Winkowski Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:68, n:1-2, pp:175-206 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP