[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Introduction
Papers
Tools
WWW/FTP Sites
For Educators
ASM Community
Conferences
- ABZ 2010, Orford, Quebec, Canada
What's New

Subjects

Methodology

Books
Discussions
Historical Surveys & Bibliographies
Introductory Materials
Refinement

Applications

Abstract Algorithms
Architectures (hardware and software)
Benchmark Examples
Compiler Correctness
Databases
Distributed Systems
Hardware
Industrial Reports
Interpreters & Tools (papers only)
Java
Logic & Computability
Mechanical Verification
Models of Computation (other)
Montages
Natural Languages
Programming Languages
Protocols
Real-Time Systems
Security
Software Engineering
UML
Verification
VHDL
WAM/Logic Programming
Miscellany

ASM Studies

ASM Explorations
ASM Extensions

Logic & Computability

Table of Contents

Background, Reserve, and Gandy Machines
Choiceless Polynomial Time
Choice Logics
Complete Logic
- Full Paper
- Extended Abstract
EDL
Linear-Time Hierarchy
Logspace Reducibility
Metafinite Model Theory
Partial Correctness Logics
Pure Mathematics
Tableau Calculus
Unordered Structures
Zero-One Law
- Popular Version
- Full Version

[an error occurred while processing this directive]

Jim Huggins / huggins@acm.org

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/subjects/logic.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT