Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

116

Voted

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

15 years 10 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

Real-time Traffic

FM 1999 | Formal Methods |

claim paper

Related Content

» State Machine Modeling From Synch States to Synchronized State Machines

» From Secrecy to Soundness Efficient Verification via Secure Computation

» Enhancing UML State Machines with Aspects

» Efficient ContinuousTime Reinforcement Learning with Adaptive State Graphs

» Optimized Description Logic Reasoning via Core Blocking

» Model Checking Machine Code with the GNU Debugger

» Dimensionality Reduction via Genetic Value Clustering

» Software model checking via largeblock encoding

» A Mechanized Refinement Framework for Analysis of Custom Memories

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	FM
Authors	Erich Grädel, Marc Spielmann

Comments (0)