Вы здесь

Главная

категория

Связанные издания:

A Concept of Decompositional Approach to Concurrent Systems Design
A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
Algebra and Coalgebra in Computer Science: Proc./4th International Conference, CALCO 2011, Winchester, UK, August/September 2011
An algebraic view of structural induction
An Analysis of Simulation between Petri Nets through Rewriting Logic
An Evaluation of Phrasal and Clustered Representations on a Text Categorization Task
An Example-Based Mapping Method for Text Categorization and Retrieval
An Introduction to Category-based Equational Logic
Applicating of a Categorical Framework for Conceptual Data Modeling
A Syntactic Consistency Proof for NaDSet
Canonical Forms for Data-Specifications
Category Classes: Flexible Classification and Evolution in Object-Oriented Databases
Category Theory and Computer Science: Proc./6th Intern. Conf., CTCS 95 Cambridge, United Kingdom, August 1995
Category Theory and Computer Science: Proc./7th Intern. Conf., CTCS 97. Santa Margherita Ligure, Italy, September 1997
Chinese Lexical Semantics: Revised Selected Papers/18th Workshop, CLSW 2017, Leshan, China, May 2017
Computer Science Logic: Selected Papers/8th Workshop, CSL 94 Kazimierz, Poland, September 1994
Effective Category and Measure in Abstract Complexity Theory
Expert Network: Effective and Efficient Learning from Human Decisions in Text Categorization and Retrieval
Fundomentals of Computation Theory: Proc./ 10th International Conference, FCT 95. Dresden, Germany, August 1995
Generic Facilities in Object-Oriented ASMs
Integration of Specification Languages using Viewpoints
Logic Programming in Tau Categories
Mathematical Foundations of Computer Science 2014, Part I: Proc./39th Internatioanl Symposium, MFCS 2014, Budapest, Hungary, August 2014
On Locally Reflective Categories of Structures
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
On the Interpretation of Type Theory in Locally Cartesian Closed Categories
Open Maps and Trace Semantics for Timed Partial Order Models
Real-Time Event Structures and Scott Domains
Refinement and Simulation of Nets - a Саtegorical Characterisation
Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories
Subsumption between Queries to Object-Oriented Databases
Text Categorization for Multiple Users Based on Semantic Features from a Machine-Readable Dictionary
The Category-Theoretic Solution of Recursive Domain Equations
Towards Language Independent Automated Learning of Text Categorization Models
When are Two Classes Equivalent?
Категории типов данных
Мера и категория
Общая теория систем: Математические основы
О применении категорных методов в Computer Science
Полусопряжённые функторы и категории алгебр n-тройками