Вы здесь

Главная

Helsinki Univ. Technology

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

Annual Report for the Year 1992
Annual Report for the Year 1995. Digital Systems Laboratory
A PrT-net Representation of Graph Grammars
Constructing Combinatorial Designs by Local Search
Constructing Covering Designs by Simulated Annealing
Construction Methods for Covering Codes
Hardware Support of Parallel Asynchronous Processes
High Level Distributed Transition Systems in Categories
Mathematical methods in proving properties of programs
New Upper Bounds for Binary/Ternary Mixed Covering Codes
PROD - A Pr/T- Net Reachability Analysis Tool
Strattification and Tractability in Nonmonotonic Reasoning
Weakened Negative Introspection in Autoepistemic Reasoning
What Operational Semantics is Adequate for Nonsequential Systems?