Вы здесь

Главная

семантика

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

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion on His 60th Birthday
Advances in Multimedia Information Processing - PCM 2017, Part I: Revised Selected Papers/16th Pacific-Rim Conference on Multimedia, Harbin, China, September 2017
Advances in Natural Language Processing: Proc./5th International Conference on NLP, FinTAL 2006. Turku, Finland, August 2006
Advances in Natural Language Processing: Proc./9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 2014
Advances in Soft Computing, Part I: Proc./17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 2018
Advances in Web Intelligence: Proc./Second International Atlantic Web Intelligence Conference,AWIC 2004.Cancun.Maxico,May 2004
Advances In Web Mining and Web Usage Analysis: Revised Papers/7th Intl WS WebKDD 2005. Chicago, IL, USA, August 2005
Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
A Fibrational Semantics for Logic Programs
A Fifo-Net Model for Processes with Asynchronous Communication
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
A Fixed Point Semantics for Logic Programs Extended with Cuts
A Formal Approach to the Teaching of Programming Language Concepts
A Formal Definition for the Expressive Power of Knowledge Representation Languages
A Formal Definition of Crosscuts
A Formal Executable Semantics of the JavaCard Platform
A Formal Framework for the Java Bytecode Language and Verifier
A Formalisation of Java s Exception Mechanism
A Formal Mapping between UML Models and Object-Z Specifications
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
A Formal Semantics for a Graphical Model Representation in System Design
A Formal Semantics for a Language with Type Extension
A Formal Semantics for OCL 1.4
A Formal Semantics for UML Interactions
A Framework for Automatic Construction of Abstract Promela Models
A Framework for Defining Object-Calculi
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines
A Framework for Programming Denotational Semantics in C++
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables
A Fully Abstract Semantics for Causality in the -calculus
A Fully Abstract Semantics for Causality in the Pi-calculus
A Fully Abstract Semantics for Termination in Petri Nets
A Functional Approach for Temporal x Modal Logics
A Functional Semantics of Attribute Grammars
A Functorial Semantics for Observed Concurrency
A Game Semantics Foundation for Logic Programming
A General Algebraic Framework for Studying Modular Systems
A General Framework for Modular Implementations of Modular System Specifications
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
A Generalization of Dijkstra s Calculus to Typed Program Specifications
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation
A Generic Abstract Interpretation Algorithm and Its Complexity Analysis
A Generic and Executable Model for the Specification and Validation of Distributed Behaviors
A Generic Strong Normalization Argument: Application to the Calculus of Constructions
Agent Communication II: Selected and Revised Papers/Intl WS s AC`05 & AC`06. Utrecht, the Netherlands, July`05 & Hakodate, Japan, May`06
Agent Communication: Revised Selected and Invited Papers/International Workshop on Agent Communication, AC 2004. New York, NY, USA, July 2004
Agent Language NUML and Its Reduction Implementation Model Based on HO