RE: A Complexity Question (was RE: Temporal e)

Subject: RE: A Complexity Question (was RE: Temporal e)
From: Moshe Vardi (vardi@cs.rice.edu)
Date: Wed Jul 11 2001 - 00:21:27 PDT

• Next message: Moshe Vardi: "Re: Accellera: Branching vs. Linear Time"
• Previous message: Sandeep K. Shukla: "RE: A Complexity Question (was RE: Temporal e)"
• Maybe in reply to: Sandeep K. Shukla: "A Complexity Question (was RE: Temporal e)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Unlimited nesting and abstraction is not a problem, since it can be
flattened. To get a nonelementary blow-up you need complementation.

Moshe

• Next message: Moshe Vardi: "Re: Accellera: Branching vs. Linear Time"
• Previous message: Sandeep K. Shukla: "RE: A Complexity Question (was RE: Temporal e)"
• Maybe in reply to: Sandeep K. Shukla: "A Complexity Question (was RE: Temporal e)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Jul 11 2001 - 00:22:36 PDT