Вы здесь

Главная

семантика

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

Transactions on Aspect-Oriented Software Development XII
Transactions on Computational Collective Intelligence XVII
Transactions on Computational Collective Intelligence XXII
Transactions on Computational Collective Intelligence XXIX
Transactions on Large-Scale Data-and Knowledge-Centered Systems I
Transactions on Large-Scale Data-and Knowledge-Centered Systems L
Transactions on Large-Scale Data-and Knowledge-Centered Systems VI: Special Issue on Database-and Expert-Systems Applications
Transactions on Large-Scale Data-and Knowledge-Centered Systems XLIV: Special Issue on Data Management - Principles, Technologies, and Applications
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIV
Trans-Epistemic Semantics for Logic Programs
Transformation-Based Bottom-Up Computation of the Well-Founded Model
Transforming Constraint Logic Programs
Transforming Normal Programs by Replacement
Transition Systems of Elementary Net Systems with Localities
Translations between Textual Transition Systems and Petri Nets
Trends in Artificial Intelligence: Theory and Applications: Artificial Intelligence Practice: Proc./33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 2020
True Concurrency in Concurrent Constraint Programming
True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator
Turing Award Lecture: Elements of Interaction
Tuwards Open Service Environments
TVLA: A System for Implementing Static Analyses
Two Simple Characterizations of Well-Founded Semantics
Type Analysis for CHIP
Typechecking of PEI Expressions
Typed Lambda Calculi and Applications: Proc./8th International Conference, TLCA 2007. Paris, France, June 2007
Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009
Typed Operational Semantics
Typed Prolog: A Semantic Reconstruction of the Mycroft-O Keefe Type System
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008
Types for Proofs and Programs: Selected Papers/Intern. Workshop TYPES 93. Nijmegen, The Netherlands, May 1993
Types of Trilogy
Type Synthesis in B and the Translation of B to PVS
Type Theory and Concurrency
Type Theory and Projections for Higher-Order Static Analysis
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
UML Semantics FAQ
Understanding and Representing Relationship Semantics in Database Design
Understanding Short Texts with Integration of Knowledge Representation Methods
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML
Understanding Z: A Specification Language and Its Formal Semantics
Unfold/Fold Transformations for Definite Clause Programs
Unfolding and Event Structure Semantics for Graph Grammars
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs
Unfolding, Procedural and Fixpoint Semantics of Logic Programs
Unified Algebras and Abstract Syntax
Uniform ideals and strictness analysis
Unifying Modeling and Programming through an Active, Object-Oriented, Model-Equivalent Programming Language
Unifying Theories of Programming: Revised Selected Papers/4th International Symposium, UTP 2012, Paris, France, August 2012