Abstract is missing.
- Testing Proofs by ExamplesSusumu Hayashi, Ryosuke Sumitomo. 1-3 [doi]
- Rigid ReachabilityHarald Ganzinger, Florent Jacquemard, Margus Veanes. 4-21 [doi]
- Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem ProverDeepak Kapur, Mahadevan Subramaniam. 22-42 [doi]
- A Polymorphic Language Which Is Typable and Poly-stepLuca Roversi. 43-60 [doi]
- Cut Elimination for Classical Proofs as Continuation Passing Style ComputationIchiro Ogata. 61-78 [doi]
- Semantics and Logic for Provable Fault-Tolerance, A TutorialTomasz Janowski. 79-83 [doi]
- The Rewriting Calculus as a Semantics of ELANHoratiu Cirstea, Claude Kirchner. 84-85 [doi]
- Tried Linear HashingChuan-Heng Ang, S. T. Tan, T. C. Tan. 86-94 [doi]
- A New Factoring Algorithm for Magic PredicatesXiaoyong Du, Zhibin Liu, Naohiro Ishii. 95-112 [doi]
- An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary GraphsSun-Yuan Hsieh, Gen-Huey Chen, Chin-Wen Ho. 113-124 [doi]
- Taxonomy and Expressiveness of Preemption: A Syntactic ApproachSophie Pinchinat, Éric Rutten, R. K. Shyamasundar. 125-141 [doi]
- Exploring Regional Locality in Distributed Shared MemoryZhiyi Huang, Chengzheng Sun, Abdul Sattar. 142-156 [doi]
- Guaranteed Mutually Consistent Checkpointing in Distributed ComputationsZhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang. 157-168 [doi]
- Type Inference for First-Class Messages with Feature ConstraintsMartin Müller, Susumu Nishimura. 169-187 [doi]
- Two Flavors of Offline Partial EvaluationSimon Helsen, Peter Thiemann. 188-205 [doi]
- First-Class Contexts in MLMasatomo Hashimoto. 206-223 [doi]
- Formal Methods: Past, Present, and Future (Abstract)Jeannette M. Wing. 224 [doi]
- A Comparison of Petri Net Semantics under the Collective Token PhilosophyRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone. 225-244 [doi]
- Bisimulation Lattice of Chi ProcessesYuxi Fu. 245-262 [doi]
- Eventuality in LOTOS with a Disjunction OperatorYoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki. 263-281 [doi]
- Towards a Characterisation of Finite-State Message-Passing SystemsMadhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni. 282-299 [doi]
- Mobile Computation: Calculus and Languages (A Tutorial)N. Raja, R. K. Shyamasundar. 300-304 [doi]