Вы здесь

Главная

теория

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

Non-structural Subtype Entailment in Automata Theory
Normative Standards for IS Research
Notation as a Tool of Thought
Notes on Unifying Theories of Parallel Programming
Object-Oriented Solutions
On Arnol d s Hilbert Symposium Problems
On Asymptotic Probabilities in Logics That Capture DSPACE (log n) in Presence of Ordering
On Asynchronous Communication Semantics
On Constructive Negation for Disjunctive Logic Programs
One Binary Horn Clause is Enough
On Locally Reflective Categories of Structures
On Logics, Tilings, and Automata
On Monotonous Oracle Machines
On Requirements for a CAST-Tool for Complex, Reactive System Analysis, Design and Evaluation
On the Amount of Nondeterminism and the Power of Verifying
On the Application of Measurement Theory in Software Engineering
On the Complexity of Small Description and Related Topics
On the Computing Paradigm and Computational Complexity
On the Connections between Rewriting and Formal Language Theory
On the Ehranfeucht-Fraisse Game in Theoretical Computer Science
On the Interpretation of Type Theory in Locally Cartesian Closed Categories
On the Logical Content of Computational Type Theory: A Solution to Curry s Problem
On the Relation between the -Calculus and the Syntactic Theory of Sequential Control
On the Theory of Interconnection Networks for Parallel Computers
On the Theory of Relational Data Bases with Incomplete Information
On the use of Theory Based Systems to Traverse Educational Gaps in Computer System Related Activities
On the Work of Andrzej Ehrenfeucht in Model Theory
On Weighted T-Systems
Open Maps and Trace Semantics for Timed Partial Order Models
Operators, Stochastic Processes, and Lie Groups
Optimization Problems with Approximation Schemes
Order-Sorted Feature Theory Unification
Papers Presented at the 3rd European Workshop on Applications and Theory of Petri Nets. Villa Monastero, Varenna - Italy, September 27-30, 1982
Parallel Computer Architectures. Theory, Hardware, Software, Applications
Parallel Computing Technologies: Proc./7th Intern. Conf., PaCT 2003, Nizhni Novgorod, Russia, September 2003
Parameterized Partial Evaluation
Partial Evaluation for Hierarchies of Logic Theories
Peer-to-Peer Systems II: Proc./Second Intern. Workshop, IPTPS 2003, Berkeley, CA, USA, February 2003
Performance Preorder: Ordering Processes with Respect to Speed
Perspectives of System Informatics: Proc./Third Intern. Andrei Ershov Memorial Conf., PSI 99. Akademgorodok, Novosibirsk, Russia, July 1999
Perspectives of System Informatics PSI'96: Proc./Second Intern. Andrei Ershov Memory Conf. Akademgorodok, Novosibirsk, Russia, June 1996
Petri Nets Tutorial
Petri Net Theory - Problems Solved by Commutative Algebra
Petri Net Tool Overview 1989
Petri Net Tool Overview 1992
Place Bisimulations in Petri Nets
Polymorphic Type Inference with Overloading and Subtyping
Polynomial Arithmetic Analogue of Halton Sequences
Polynomial-Time Many-One Reductions for Petri Nets
Polyrepresentation of Information Needs and Semantic Entities: Elements of a Cognitive Theory for Information Retrieval Interaction