Вы здесь

Главная

теория

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

Data on Air - What s in it for the Database Theorist
Data Quality and Systems Theory
Decidability Results in Automata and Process Theory
Decomposable Structures, Boolean Function Representations, and Optimization
Defining Context-Dependent Syntax Without Using Contexts
Deliverables: A Categorical Approach to Program Development in Type Theory
Derivatives of Likelihood Ratios and Smoothed Perturbation Analysis for the Routing Problem
Describing Parameterized Complexity Classes
Descriptional Complexity of Formal Systems: Proc./13th International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 2011
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Descriptive and Parametrized Complexity
Descriptive Complexity Theory for Constraint Databases
Developments in Language Theory: Proc./18th International Conference, DLT 2014, Ekaterinburg, Russia, August 2014
Developments in Language Theory: Proc./20th International Conference, DLT 2016, Montreal, Canada, July 2016
Developments in Language Theory: Proc./5th Intern. Conf., DLT 2001, Wien, Austria, July 2001
Developments in Language Theory: Proc./9th International Conference, DLT 2005. Palermo, Italy, July 2005
Developments in Language Theory: Revised Papers/6th Intern. Conf., DLT 2002, Kyoto, Japan, September 2002
Development Transformation Based on Higher Order Type Theory
Discovering Shared Interests Using Graph Analysis
Distributed Computing: Proc./29th International Symposium, DISK 2015, Tokio, Japan, October 2015
Divergence and Fair Testing
Diversity-Based Inference of Finite Automata
DLp: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes
Does Concurrency Theory Have Anything to Say about Parallel Programming
Domain Theory in HOL
Effective Category and Measure in Abstract Complexity Theory
Efficient Evaluation of Incremental Join in Distributed Active Databases
Ein tatigkeitstheoretischer Ansatz zur Entwicklung von brauchbarer Software
Electronic Government: Proc./10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 2011
Elements of Relational Database Theory
Elimination of Extensionality in Martin-Lof Type Theory
Encoding Z-style Schemas in Type Theory
Epistemic Logic, Probability Theory and Multiagent Nonmonotonic Reasoning
Equational Inference, Canonical Proofs, and Proof Orderings
Equations in nets Computer oriented lattices
Equivariant Syntax and Semantics
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Experiments on self-applicability in the C-light verification system
Explaining Algebraic Theory with Functional Programs
Expressing Computational Complexity in Constructive Type Theory
Extending Models of Second Order Predicate Logic to Models of Second Order Dependent Type Theory
Extending Pruning Techniques to Polymorphic Second Order -Calculus
Fair Testing
Faster Tree Pattern Matching
Fast Software Encryption: Revised Selected Papers/21st International Workshop, FSE 2014, London, UK, March 2014
Final Report on ESPRIT BRA Project 3096 - SPEC
Finite Model Theory
Finite-Model Theory - a Personal Perspective
Finite-State Strategies in Regular Infinite Games