论文列表及评分结果
Variants of openness.
电商所评分：9
Homotopical algebra in homotopical categories.
电商所评分：8
Constructive complete distributivity IV.
电商所评分：4
Left linear theories - A generalization of module theory.
电商所评分：5
Universalities.
电商所评分：1
Almost coreflective and projective classes.
电商所评分：10
Nice separation axioms.
电商所评分：7
Contextual Local Analysis in the Design of Distributed Systems.
电商所评分：5
Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing.
电商所评分：3
On the Reuse of Software: A Case-Based Approach Employing a Repository.
电商所评分：8
Workshop Report: The Two-Day Workshop on Research Issues in the Intersection between Software Engineering and Artificial Intelligence (Held in conjunction with ICSE-16).
电商所评分：10
The algebra of directed complexes.
电商所评分：8
Hausdorff separation in categories.
电商所评分：7
Filter spaces.
电商所评分：3
An internal language for autonomous categories.
电商所评分：4
Schemas, Logics, and Neural Assemblies.
电商所评分：10
High-Level Reasoning, Computational Challenges for Connectionism, and the Conposit Solution.
电商所评分：9
Script-Based Inference and Memory Retrieval in Subsymbolic Story Processing.
电商所评分：3
Goal/Plan Analysis via Distributed Semantic Representations in a Connectionist System.
电商所评分：7
Solid hulls of concrete categories.
电商所评分：5
Constant morphisms and constant subcategories.
电商所评分：6
Ideals, radicals, and structure of additive categories.
电商所评分：1
Functorial methods in the theory of group representations I.
电商所评分：10
Convexity theories IV. Klein-Hilbert parts in convex modules.
电商所评分：3
Regular closure operators.
电商所评分：7
Facets of descent, I.
电商所评分：4
On the notion of bimodel for functorial semantics.
电商所评分：1
Join-continuous frames, Priestley's duality and biframes.
电商所评分：1
A projective homotopy theory of crossedG-modules.
电商所评分：10
Cohomologically trivial internal categories in categories of groups with operations.
电商所评分：7