Abstract is missing.
- Static Types As Search HeuristicsHao Xu. [doi]
- Redundancy Elimination in Monodic Temporal ReasoningMichel Ludwig, Ullrich Hustadt. [doi]
- A Fixed Point Representation of ReferencesSusumu Yamasaki. [doi]
- PrefaceNicolas Peltier, Viorica Sofronie-Stokkermans. [doi]
- Inductive Reasoning for Shape InvariantsLilia Georgieva, Patrick Maier 0001. [doi]
- Literal Projection and CircumscriptionChristoph Wernhard. [doi]
- Towards the Verification of Security-Aware Transaction E-servicesSilvio Ranise. [doi]
- Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry TransformationKoji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue. [doi]
- Minimal Model Generation with Respect to an Atom SetMiyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa. [doi]
- Analysis of Authorizations in SAP R/3Manuel Lamotte-Schubert, Christoph Weidenbach. [doi]
- Model-Checking of Array-Based Systems: from Foundations to ImplementationSilvio Ghilardi. [doi]
- Presenting ConstraintsPeter Jeavons. [doi]
- Constraint Modelling: A Challenge for First Order Automated ReasoningPeter Baumgartner 0001, John Slaney. [doi]