Louiqa Raschid, Jorge Lobo:
A Semantics for a Class of Non-Deterministic and Causal Production System Programs.
305-349 BibTeX
Giuseppa Carrà Ferro:
An Extension of a Procedure to Prove Statements in Differential Geometry.
351-358 BibTeX
Shie-Jue Lee, Chih-Hung Wu:
Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures.
359-388 BibTeX
Zhenyu Qian, Tobias Nipkow:
Reduction and Unification in Lambda Calculi with a General Notion of Subtype.
389-406 BibTeX
