Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994

Παρόμοια τεκμήρια

• Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
  Έκδοση: (1993)
• Solving higher-order equations From logic to programming
  ανά: Prehofer, Christian
  Έκδοση: (1998)
• Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
  ανά: Zwiers, J.
  Έκδοση: (1989)
• A computational logic handbook
  ανά: Boyer, Robert, κ.ά.
  Έκδοση: (1998)
• A Computational Logic Handbook
  ανά: Moore, J. Strother, κ.ά.
  Έκδοση: (1988)